travis: add a mirage-dev remote