Fixes #2762.
Make occurences of "mu", small commands such as "mu init", and command-line arguments bold.
Generate the manpages from org-documents which makes it a bit easier to keep them update to date since I find org-syntax easier than troff, and we can use include files.
