Beautify the output of some manual pages

Always put commands names (and some of their options) in bold characters
in manual pages.