Simplify & improve TexDocDialog
Remove code for handling special file extensions (.gz, .bz2, .sty),
which wasn't portable and didn't handle temporary files correctly.
Such files will be opened directly by the tools available on the
user's machine now.