Merge branch 'docs' into 'master'

doc/conf.py

doc/index.rst

doc/user/algorithms/guide.rst

doc/user/backend/guide.rst

doc/user/dataformats/guide.rst

doc/user/experiments/guide.rst

doc/user/index.rst

doc/user/libraries/guide.rst

doc/user/libraries/script.rst

doc/user/links.rst

doc/user/overview/guide.rst

doc/user/reports/script.rst

doc/user/settings/guide.rst

doc/user/toolchains/guide.rst