Organizing documentation, cleanup and polish #88

Annotations

5 errors

Canceling since a higher priority waiting request for PR-refs/pull/185/merge-Release builds exists

Canceling since a higher priority waiting request for PR-refs/pull/185/merge-Benchmarks exists

Canceling since a higher priority waiting request for PR-refs/pull/185/merge-Unit tests exists

Canceling since a higher priority waiting request for PR-refs/pull/185/merge-Cxx interop exists

Canceling since a higher priority waiting request for PR-refs/pull/185/merge-soundness exists