Remove references to mirage-dev for the main tutorials