port mirage-tutorial to latest interfaces
Merge branch 'master' of github.com:mor1/mirage-tutorial