Update README, fix Travis CI