Remove props (#147)

## What Changed?

All the policies from `props` have moved to the
[paralegal-bench](https://github.com/brownsys/paralegal-bench)
repository

## Why Does It Need To?

Policies are now colocated with the applications they check.

## Checklist

- [x] Above description has been filled out so that upon quash merge we
have a
  good record of what changed.
- [x] New functions, methods, types are documented. Old documentation is
updated
  if necessary
- [x] Documentation in Notion has been updated
- [x] Tests for new behaviors are provided
  - [ ] New test suites (if any) ave been added to the CI tests (in
`.github/workflows/rust.yml`) either as compiler test or integration
test.
*Or* justification for their omission from CI has been provided in this
PR
    description.

Makefile.toml

@@ -27,7 +27,6 @@ description = "The suite of synthetic tests for the PDG and the policy framweork
 dependencies = [
     "analyzer-tests",
     "policy-framework-tests",
-    "test-policies",
     "guide-project",
 ]
 
@@ -76,12 +75,6 @@ description = "Tests related to the correctness of the policy framework."
 command = "cargo"
 args = ["test", "-p", "paralegal-policy", "--lib"]
 
-[tasks.test-policies]
-description = "Attempts to build the test policies to ensure their API is still served."
-cwd = "props"
-command = "cargo"
-args = ["build"]
-
 [tasks.guide-project]
 description = "Build and run the policy from the guide."
 cwd = "guide/deletion-policy"