Use travis CI for tests