Adding a Travis-CI integration