add modmanager and gamemanager config options to minetest.conf.example