Punctilious

- automatic build to keep documentation up-to-date on [readthedocs](https://punctilious.readthedocs.io/en/latest/index.html)
- standardized python implementation of inference-rules with one declaration class and one inclusion class
- [one sample python script per inference-rule to show](https://punctilious.readthedocs.io/en/latest/python/sample/python_sample_index.html)
- improved continuous integration scripts to further automate the development process
- miscellaneous bug fixing

- draft documentation on readthedocs
- initial catalog of inference rules
- theory: first chapter of tao 2006 - the peano axioms
- output: plaintext + unicode (not yet latex)
- initial set of samples

Development of a minimum viable product (mvp) version of the punctilious package.