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?

Makefile の lint ターゲットと、Bundletester による charm-proof の明示的な呼び出しを調査します。現在 lint が proof を重複して実行していること、およびその呼び出しを削除すると Bundletester が proof を担当することを確認します。lint ターゲットが charm-proof を呼び出さなくなり、既存の lint フローがそのまま維持されれば完了です。

索引モデルが issue の本文から書いたものです。