Version 0.1.2

Launched on 2020/03/25

This version introduces:

• Add public documentation and all the infra for it
• Add linting tooling support to the repo
• Add a database view to the big plan project page
• Sort views by Eisenhower and whether they are recurring or not in the inbox pages