feat(tactic/lint): add some hooks to allow linting of proof scripts

[cipher1024]

Implement support for writing linting tools for proof scripts

Pull Request Description

Ensure you have read the contribution guide before filling in a description of the pull request, regardless of whether it is complete or a work in progress. All Pull Requests should include test case(s) which demonstrates the intended behavior of a feature, or a regression test demonstrating that the fix resolves the issue.

[gebner]

Ping me please once there is something reviewable here.