Maps removed from maps/

[lior8]

PR #80 removed most of the maps from maps/.
While they should be brought back, perhaps instead I can make a sh script which will simply download them instead, which will make the repo much more lightweight.

[nathansttt]

Yes! I realized this happened the other day, but haven't had a chance to fix it yet.

[lior8]

Following our conversation, I think it will be better to have a separate repo for that and then only include a bash script in hog2 which will download things selectively. It will also add the ability to download benchmarks from other repos (e.g., Iron Harvest).

[nathansttt]

I've restored the files for the moment. The plan is to create a benchmark director which is blank except for a script which will download from other repositories. I will leave this open until that is complete.