Merged trunk@29050 to branches/simantics-1.13 on 2014-09-04 for 1.13.3 release.

Merged trunk@29050 to branches/simantics-1.13 on 2014-09-04 for 1.13.3 release.

This is needed to make Diagram.scl work without proliferated <Proc> effects in every function
which in unnecessary. This changes the signature of runProc from
@(<Proc> a) -> a@
to
@(<Proc,e> a) -> <e> a@

refs #4860
refs #4747

git-svn-id: https://www.simantics.org/svn/simantics/3d/branches/simantics-1.13@30203 ac1ea38d-2e2b-0410-8846-a27921b304fc