Added setuphgamelaunch.sh. A tool to set up an environment for an online server with Hgamelaunch
Added a very dirty fix for two-level substitution of config variables