fixup! Add travis configuration