HotSpotLabel: name more notable
HotSpotLabels can been showing/hiding
Merge branch 'develop' of github.com:KIT-IPE/katrinTankViewer into develop

Conflicts:
	sources/Config/Config.js
Visuability of HotSpotLabels now depends from config
ion.rangeSlider works fine
Added point of menu Tank: Hot spots labels
Throw out trash. Partly repair tests