Change button labels a bit
Integrate Travis CI