Introduce EVM version prague

[matheusaaguiar]

closes #15111.

[cameel]

Still missing in two places:

• List of EVM versions in "Using the compiler".
  • Also the evmVersion field there has a comment with possible values.
• test/tools/fuzzer_common.cpp, test/tools/ossfuzz/yulProto.proto and test/tools/ossfuzz/protoToYul.cpp (unless we're leaving it up to @bshastry)

[nikola-matic]

Still missing in two places:

* List of EVM versions in "Using the compiler".
  
  * Also the `evmVersion` field there has a comment with possible values.

* `test/tools/fuzzer_common.cpp`, `test/tools/ossfuzz/yulProto.proto` and `test/tools/ossfuzz/protoToYul.cpp` (unless we're leaving it up to @bshastry)

@bshastry typically handles this on the fuzzer side.

[cameel]

@bshastry typically handles this on the fuzzer side.

True, but these are simple enough that it would not hurt if we already added them here. But anyway, mentioning it mostly for completeness.

[cameel]

Needs squashing and then it's fine to merge.