Update man page

I propose a minor update of the man page in this merge request. Several new options are added to the man page, and an "annotation option" is added to the general description.