Same / similar GUI for opening Tube and local files

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@26559 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Adding half-constrained point checks for ProveDetails NDG detection (Botana), half way

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