Ticket #3065: enhancement for the previous commit; OK to remove temporary things

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25662 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
#3192 Offline app, only can be build by hand right now.

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25663 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Some code for ConstructionProtocolView ported (#3246).

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25664 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e