Export extensions configuration to separate file.

This way the consoles.txt or config.txt doesn't get cluttered with lists of extensions.