Add a readme that describes the project. Specifically - module structure - what we prove and do not prove - how we test