Added docs on preferences
Merge branch 'master' of https://github.com/brian-team/brian2.git