Update docs with Sphinx

[mdavidsaver]

Update documentation with more database file example, and convert proto.md to proto.rst.

Also adds Make targets: sphinx to build documentation, and sphinx-commit which builds documentation and commits to overwrite the local gh-pages branch without disturbing the working tree.

@shoobler @dchabot fyi.