Update documentation

To describe Travis CI integration. Also changed Elm IO checkout in
.travis.yml