Add a directory selection button (and the corresponding dialog) which allows it to
select the location of the TeX documentation in a more comfortable way.

Patch by Felix Mauch