autogen.sh: use configure option --enable-doc-man if doxy2man is found on system
autogen.sh: use configure option --enable-doc-man if doxy2man is found on system

didier-barvaux/rohc,didier-barvaux/rohc,didier-barvaux/rohc,didier-barvaux/rohc,didier-barvaux/rohc