README.md, INSTALL.md and travis fixes