travis: add mirage-dev to travis