Use travis ci for testing