MPS 3.1 EAP1-29 (133.1546)
Merge branch 'master' into 31_EAP1-29
Merge branch 'master' into 31_EAP1-29
Merge branch 'master' into 31_EAP1-29
Merge branch 'master' into 31_EAP1-29
Merge branch '31_EAP1-29'
Revert "Merge branch '31_EAP1-29'"

This reverts commit 9b36b144b2d0db54abe7c22e19df1c250bedcb19, reversing
changes made to be48bfcd34c6b517180a427288a04ad433e5bd5a.
improved root display; added OverreachingLoopEditor, OverreachingBracketEditor; made brackets on loops selectable
fixed niko's broken build script
beautified root symbol
The loop notation now allows to specify a query for "parentheses:"
Build script updated
init function can now be defined for a base cell
added new symbols; changed sandbox integral symbol