Document how to work with Travis

[php-coder]

At least we should document where to find logs (and probably related shell scripts).

[php-coder]

In light of migration to GitHub Actions (#1154), this change isn't needed.