fix typo
remove travis CI

Travis uses an old version of git that does not have pre-push hooks.