adding initial files for sphinx documentation
Updated documentation and configuration to have semantic line breaks and use .rst files
Merge pull request #6 from PolicyStat/sphinx-docs

Starting point for Sphinx documentation.
Merge pull request #11 from PolicyStat/timaeudg-verification-docsUpdate

Merging in Sphinx docs