Various changes to preferences
* Changed preferences to use values rather than strings
* put everything into BrianGlobalPreferences
* changed validation functions (default validators are back)
* derived BrianGlobalPreferences from MutableMapping