Fix #2005 - generated proxy files now mutex protected during creation/import, and thereafter over-writeable by all users
Ignore PyOhNet generated proxy output directory
Merge branch 'master' of core.linn.co.uk:/home/git/ohnet