Remove/disable unused travis options