Documentation

The project just has started and we are currently in the process of setting everything up.

Expect to find some documentation on how to use Clash for formal verification here soon.