update INSTALL.md and .travis.yml