HolBA legacy code

[palmskog]

The following code is not built/tested in CI, there should probably be a decision on what to do with it (e.g., moving to attic):

• src/tools/exec/examples/example-toy.sml
• src/tools/cfg/examples/example-aes.sml
• src/tools/cfg/examples/example-old-simple.sml
• src/tools/wp/benchmark/binaries-test.sml
• src/tools/exec/examples/example-toy.sml
• src/tools/scamv/persistence/t-test-logs.sml
• src/tools/scamv/examples/driver-test.sml
• src/tools/scamv/examples/driver-entry.sml
• src/tools/lifter/examples/gcd_code-test.sml
• src/tools/lifter/examples/aes-test.sml
• src/tools/lifter/examples/hex-test.sml
• src/tools/lifter/benchmark/binaries-test.sml
• src/shared/examples/example-HolSmt-simplification.sml
• examples/aes/cfg-test.sml
• examples/aes/exec/aes-test.sml
• examples/aes/wp71-pass-test.sml
• examples/aes/wp-test.sml
• examples/nic/example-print-prog.sml
• examples/nic/wpsimp_test-early-wp.sml