More small stuff

It was discovered that one of the popular distros has unusual placements of docs. This meant Yoshimi couldn't find the HTML user guide, This is now fixed with a comprehensive scan of /usr/share, /usr/local/share/ and /home/
As this can take quite a long time it is done in a separate thread and doesn't slow down Yoshimi's normal start.