Refactoring zkfold-cardano

[zlonast]

• [x] Delete assets and test-data
• [x] Update README
• [x] Write backend to plonk
• [x] Write backend to symbolic
• [ ] Update benchs
• [x] Update packages
• [x] Update e2e-test cli scripts
• [x] Update e2e-test docs
• [x] Add local-testnet
• [x] Update circuit examples
• [x] Update plutus scripts
• [x] Update off-chain code
• [x] Update on-chain code
• [x] Update tests

[vlasin]

@zlonast, I added CompatibleNonInteractiveProofs to zkfold-base. You can use it for testing.

[vlasin]

Are we generating all assets in this repository? If so, maybe include them in .gitignore?