* support/scripts/gen_known_bugs.pl: added script which generates knownbugs.html