SVGHMI: moved static JS code to a separate file included at xhtml generation time
svghmi
2019-09-19, Edouard Tisserant