[V052] Makefile verbessert.

Jetzt führen auch Änderungen an den Dateien im Verzeichnis tex/ zu
einer neuen Übersetzung des Protokolls.

Im Target clean wurden noch die Dateien protokoll.{bbl,blg} zur Liste
der zu löschenden Dateien hinzugefügt.