Travis: Add mirage-dev remote
Merge pull request #23 from mirage/travis

Travis: Add mirage-dev remote