webdoc: all images moved to static/img, except for installation instructions. rm some unused images. rm exported pdf and ps

Joachim Wuttkerequested to merge
webdoc122 into main

Merge request reports