SVGHMI: update Makefile to pick all changes to any dependency
svghmi
2020-03-18, Edouard Tisserant