make lint has redundant behavior

Bundletester explicitly calls charm-proof, so we really don't need to call it in the makefile during lint.

background info:

having this added to the makefile is redundant, and necessitates me to fork the makefile in my upper layer if I wish to remove this behavior. Charm-tools hasn't been bumped in quite a while and charms leveraging new features will consistently fail when using keywords like:
- terms
- resources

I feel like having lint fail consistently, when proof has already failed, raises red herrings.

Can we remove the proof step from the lint target to stop the redundancy?

Untersuche das lint-Ziel des Makefiles und den expliziten charm-proof-Aufruf von Bundletester. Bestätige, dass lint derzeit proof redundant ausführt und dass das Entfernen dieses Aufrufs Bundletester für proof verantwortlich lässt. Erledigt ist die Aufgabe, wenn das lint-Ziel charm-proof nicht mehr aufruft und der bestehende lint-Ablauf intakt bleibt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.