New tools

New tools:

• gh-actions-lockfile to generate and verify lockfiles for gh-actions
• Proxyman is more user-friendly http debugging proxy than Charles Proxy on MacOS