Ignore .waf3-* also (probably caused by python3?)
Handle mutiple export files with the same extension but different format.

If multiple filenames have the same extension, append the format name
to the filename. This still requires a bit of extra logic to be optimal,
as the format name will now be added in some situations where it is not
needed. However, this is better than producing a broken file...