What would be the benefit of moving this to a config file? I don't see a problem with the way it is done now (all system/OS-specific stuff goes into `systemtools.py`). In fact, leaving some of this up to end-users seems like a bad idea (with respect to reproducibility of builds across systems/EasyBuild installations, etc.).