leading space after newline print-output removed.
semicolon also not allowed in filenames (ARTE)
new command: iselectmatch(): interactive selectmatch()
in (i)selectmatch() now Pcre-pmatch, not string-equality
bugfix: wrong match-pattern was used -> fixed
WDR and 3SAT have iselectmatch() for quality selection too now.