SVGHMI: added more meaningful namespaces to emit javascript code from.
svghmi
2020-04-20, Edouard Tisserant