Interface

• Added a vertex coordinates window which allows to edit selected vertices' coordinates directly
• Reworked selection saving (clear/overwrite allowed, max. number of selections increased to 20)
• Added Select facet number... option to directly select a facet

Bugfixes

• Various bugs corrected (Selection saving, geometry insert, progressabrs, facet hit list crashes)