map making: a campaign can define which mods it requires; the required mods will be automatically loaded

The required mods are defined in a file called "mods.txt":
- the file is a comma-separated list of mod names;
- if the file doesn't exist, the current mods will be kept;
- if the file is empty, the "vanilla" game will be loaded.
(closes issue #11)