Use travis for ci