Integrating Jenkins, OSX server and Travis CI for TDD