Added script for mono 3.0.12
Merge branch 'dev' of https://github.com/EventStore/EventStore into dev