engine and interface settings. Move everything to common/config/
global config possibility
Merge branch 'master' into config
fixes
fix dist
remove global config instance, bad idea
fixes
global instance afterall
Merge branch 'master' into config

Conflicts:
	Makefile.in
	src/engine/Game_engine.ml
fixes
Merge branch 'master' into config

Conflicts:
	src/engine/Game_engine.ml
Merge pull request #119 from GL-MPRI-2014/config

Config