a new domain for the LuaForge mirror

[Yuri Takhteyev <yuri@...>]

The LuaForge mirror is now available on a subdomain of luaforge.net:

    http://mirror.luaforge.net/

This should make it much easier for you to remember where to find it
and for us to move it between hosting providers when we need to.

Note that while the mirror shares the domain with LuaForge, it is
hosted on an entirely separate server and should not be affected by
LuaForge outages. (BTW, if you have suggestions for a better place to
host a 3GB mirror, either let me know or bring it up on the
luaforge-development list.)

  - yuri