Replaced old preferences stuff throughout Brian, including sphinxext
Forgot to put in previous commit: added core.core_preferences file,
where you should define the core preferences