SVGHMI: Make build log less redundant, and refactor progress information code a bit, to make it also a bit less redundant.
svghmi
2021-03-01, Edouard Tisserant