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?

Inspecciona el objetivo lint del Makefile y la invocación explícita de charm-proof de Bundletester. Confirma que lint actualmente ejecuta proof de forma redundante y que eliminar esa invocación deja a Bundletester a cargo de proof. La tarea estará terminada cuando el objetivo lint ya no llame a charm-proof y el flujo de lint existente siga intacto.

Escrito por el modelo de indexación a partir del texto del issue.