Unnecessary SMS builds

[lambdaTotoro]

If one builds a sTeX file with a bunch of dependencies¹ with mmt make pdflatex file, all sms files in the dependency closure are built, if they do not exist yet. Of those that do exist, those that are up-to-date ("i.e." younger than the file they are based on) do not need to be rebuilt, but some of them are, currently.

This becomes especially visible when building the same file multiple times in succession. Here, there are also a lot of sms dependencies that read "success" when they should just be up-to-date, since their corresponding latex files should not have changed in between builds.

As a result, build times are longer than they need to be, which is unfortunate.

---

[1]: e.g. ../MathHub/MiKoCourses/IWGS/source/WS1819/assignments.tex

[lambdaTotoro]

This became irrelevant with the deprecation of the sms format (see #551). Closing.