Corrected mistake in spell checks related to git diff output; unified check-spelling.sh and check-spelling-changes.sh; added a few words to wordlist.aspell.

Closes #160

See merge request !278

usable again for platforms where aspell does not have the markdown parameter.

check-spelling.sh and check-spelling-changes.sh; added a few words to
wordlist.aspell.

Check if file exists in grep-forbidden-words.sh.

See merge request !277

Add work space as forbidden word

See merge request !275

Review debugger pages

See merge request !276

Review loadleveler page

See merge request !272

Added tab-separated ruleset to grep-forbidden-words.sh to ease adding more rules.

See merge request !273

* removed two unnecessary variables
* simplified case-sensitivity check
* CI_MERGE_REQUEST_TARGET_BRANCH_NAME doesn't have to be set

* Add functionality to search in all tracked markdown files
* Add usage output
* Counte forbidden patterns found

README.md in grep-forbidden-words.sh.

more rules.

Closes #143

See merge request !265

review of compilers.md: thorough content update, removed deprecaded parts

See merge request !266

Added checks for forbidden words (according to rules).

Closes #13 und #42

See merge request !259

# Conflicts:
#   doc.zih.tu-dresden.de/docs/archive/system_venus.md
#   doc.zih.tu-dresden.de/mkdocs.yml

Restructure pages regarding switched off systems

See merge request !262