Integrate Travis CI for automatic testing