Refactor (#15)

* better variable naming for fiat-shamir initialization

* path and stark verificatin simplification

* update readme.md

* avoid cloning when verifying

* FRI: with multiple queries

* debug

* fiat-shamir bug

* fiat-shamir fixed

* soundness bug fixed

* README: check soundness

* add logging to project

* STARKs: add logging

* adjust interfaces

* update fri

* FRI: add logging

* Merkle: add logging

* prover error handling

* verifier error handling

* FRI error handling

* move fri fs together with other fs

* fri prover simplified

* solve warnings

* fri rounds simplified

* fri verifier simplyfied

* refactor final warning corrections

* add comment documentation to merkle tree