Travis CI config and documentation updates