New option optimisation_flags pref for cpp_standalone and moved
openmp_threads pref to devices
Merge branch 'device_correctness' of https://github.com/brian-team/brian2.git into device_correctness