fixup! Add Travis-CI.