Updated run_correctness_testing
Merge branch 'develop' of https://github.com/brian-team/brian2genn.git into develop
Updated ignore