#373: remove travis ci