yoda: Generate OPTIONS block for man page

There's nothing more, that can be generated out of .yoda
file, but even this is helpful.

Signed-off-by: Pavel Emelyanov <xemul@sacred.ru>