Added Python overview documentation.

sphinx bibtex package is now self-contained.
Building sphinx documentation no longer requires building python bindings.

sphinx_docs target becomes pismpython_docs.
Merge branch 'dev' into inv_hardness