Missing PS and HTML export

[izzy]

While the screenshot at least shows PDF and PS as output formats, the 0.11 branch only shows PDF. As for the CSS and page break issues with htmldoc 1.8 (the official stable version in most repositories), I felt the need for HTML export as well - so one could import this to e.g. Open Office, rework the page breaks and styles, and do the final PDF export from there.

Looking at the 0.10 code, it was not hard for me to achieve this (my Python coding is mostly cut-and-paste, since I'm not that familiar with the Python language) - so for me, this plugin now offers PDF (set to version 1.4 as with the original code), PS (using the default PS level), and HTML as well! Since I profited from the code here, I want to share my work as well - so you find a patch attached which was made against r3434 of formats.py and also includes the patch I attached to #4696 (so it is "cumulative"). Feel free to apply it to the repository ;)

[izzy]

Additionally supporting PS and HTML export formats (includes patch from #4696 and was made against formats.py r3434)

[Nickolas Grigoriadis]

Applied patch to [5578]

[izzy]

Great to see the project is carried on! And thank you for including this patch as well - so it looks like only one patch is left for me to be applied manually, and I have to re-create it since it was including this one (cumulative patch, see #4915) - but that's done easily, since it just have been a few lines.