Manpage: extract fetch options from build options

[rjbou]

Some options in build options are fetch options. They are usually used with install-ish commands, but they may be used for opam source too (cf. #5563, #6285).
We should have in the code and in manpage display build & fetch options separated.