Print tool versions by calling script directly

The Litani job running `cbmc-starter-kit-print-tool-versions` forces both
users running proofs locally as well as the CI environment to install the
cbmc-starter-kit (either via brew or pip). Users and CI should not be
forced to do that.

Instead, the script can be invoked directly and the job will run.

Testing:

- Ran proofs locally on a personal fork (angelonakos/s2n-tls) containing 2
  proofs and noticed the print-tool-versions Litani pipeline succeeding.
- Tested in CI: https://github.com/angelonakos/s2n-tls/actions/runs/3750819777

Author: angelonakos

setup.cfg

@@ -54,4 +54,3 @@ console_scripts =
     cbmc-starter-kit-setup-proof = cbmc_starter_kit.setup_proof:main
     cbmc-starter-kit-setup-ci = cbmc_starter_kit.setup_ci:main
     cbmc-starter-kit-update = cbmc_starter_kit.update:main
-    cbmc-starter-kit-print-tool-versions = cbmc_starter_kit.print_tool_versions:main

…/cbmc_starter_kit/print_tool_versions.py …sitory/proofs/lib/print_tool_versions.pysrc/cbmc_starter_kit/print_tool_versions.py renamed to src/cbmc_starter_kit/template-for-repository/proofs/lib/print_tool_versions.py src/cbmc_starter_kit/print_tool_versions.py renamed to src/cbmc_starter_kit/template-for-repository/proofs/lib/print_tool_versions.py

@@ -337,7 +337,7 @@ async def configure_proof_dirs( # pylint: disable=too-many-arguments
 def add_tool_version_job():
     cmd = [
         "litani", "add-job",
-        "--command", "cbmc-starter-kit-print-tool-versions .",
+        "--command", "./lib/print_tool_versions.py .",
         "--description", "printing out tool versions",
         "--phony-outputs", str(uuid.uuid4()),
         "--pipeline-name", "print_tool_versions",