CI: remove unused code and files
- Remove unused XML files
- Jenhinsfiles: Print XML files that are not found (will only take effect after merge)
- Remove unused Python code
- Remove some unused class members
- Remove unused Python files
- Remove
egrep
and usegrep -E
instead
Closes #839 (closed)
Edited by Robert Schmidt