AutoTDD and Travis-CI