Remove Travis setup that is hopefully not needed anymore