Merged develop branch to master

This includes 
* stronger error checks in bin/checkRelease.py
* updated Makefiles for the python interpreter, and
* better compliance with the Modelica language specification.