Testing the testing framework Laika and travis CI