Try out docker-based travis CI build