remove git:// url in mirage-net in preference for stable archive, added by mistake
Merge pull request #648 from mirage/master

mirage-net: remove git:// url in stable repository