[PATCH] ci: remove Travis CI