Merge remote-tracking branch 'origin/release'
Docs: use images from images repository and remove copies in doc/ tree
Add CSV file format to petsc_tas_analysis.py
Docs: update paths relative to new doc/ directory
Docs: move src/docs/sphinx_docs to doc/, without updating paths in the doc source
123