New mirage-platform release

Note we still need a new release of mirage-net, but this is enough to make the block examples work.