feat(prover): Remove old prover (matter-labs#810)

This is one of many commits, most notable upcoming:
- remove database tables via migrations
- move prover related data from core to prover (I.E. prover_utils)

This comes as part of migration to boojum. Old prover is decomissioned;
this PR removes what's left of main components of old prover subsystems.
It includes:
- remove old prover
- remove old prover protocol version
- untangle old prover and fri prover common dependencies
- and many more

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.
- [x] Spellcheck has been run via `cargo spellcheck
--cfg=./spellcheck/era.cfg --code 1`.

.dockerignore

@@ -37,6 +37,5 @@ contracts/.git
 !etc/multivm_bootloaders
 !cargo
 !bellman-cuda
-!core/bin/verification_key_generator_and_server/data/
 !prover/vk_setup_data_generator_server_fri/data/
 !.github/release-please/manifest.json

.gitignore

@@ -27,7 +27,6 @@ todo
 
 Cargo.lock
 !/Cargo.lock
-!/core/bin/verification_key_generator_and_server/Cargo.lock
 !/infrastructure/zksync-crypto/Cargo.lock
 !/prover/Cargo.lock
 

Cargo.toml

@@ -8,7 +8,6 @@ members = [
     "core/bin/snapshots_creator",
     "core/bin/storage_logs_dedup_migration",
     "core/bin/system-constants-generator",
-    "core/bin/verification_key_generator_and_server",
     "core/bin/verified_sources_fetcher",
     "core/bin/zksync_server",
     # Libraries