Release of OpenCSD 0.12.0 and development branch 0.13.0-dev