turboplonk dizk challenge 0.1.0

Update: make structs and fields related to proof generation public (#73)

* Update: make all the fields in `ProvingKey` public

* Update: make more necessary structs/fields public

* Fix: format doc