update Travis scripts

Don’t specify Core version, i.e. test against latest version in main
opam-repository. Other minor improvements.