remove Travis-CI (don't work because of proprietary libraries)