Merge pull request #1406 from samoht/master

fix mirage constraints
Mirage: Be more explicit with package requirements
Merge pull request #1407 from mirage/master

Mirage: Be more explicit with package requirements
Add mirage 1.0.1