findGitVersion() ignores non-versiony tags
fixed new version incantation to work on windows
fixed hiding JSObserver info box when unused
Use https to load external JS

This fixes an annoying problem where browsers generally ignore http javascript on https html
Use https instead of http for icons
Fixed a typo ('leve' -> 'level').
Merge pull request #979 from PotcFdk/master

Fixed a typo ('leve' -> 'level').
Merge branch 'upstream'