Travis: Add mirage-dev remote