Update `starky` and leverage it as dependency for `plonky2_evm`

Final PR for code migration from plonky2_evm prover-related code back to starky.

There's not clear API defined for multi-stark logic within starky yet, mostly because I couldn't get a satisfactory MultiStark handling arrays of Stark because of their associated generic types. We could either leave it for now, with expanded documentation on how one can build a multi-stark system given the available API, or work our way through a satisfiable generic approach.

Tagging it as draft for now as there still some cleanup / refactoring to do, but open to any suggestion! I'll also move back all the documentation that was done on the evm crate modules that have been moved to starky.

closes #1098

0xPolygonZero / plonky2

Update `starky` and leverage it as dependency for `plonky2_evm` #1503

Quality Gate passed