fixup! Add TravisCI config