Usability improvements in the documentation browser.

This reworks the file button in the help browser so that it opens the file
browser on whatever directory we visited last (as given by the current_dir
variable), or the doc directory by default.