@option should maybe use @w

[arnold]

Hi. I just noticed a case, using texinfo.tex 2012-11-08.11, where
@option{--posix} got line broken between the second hyphen and the
`posix'; perhaps @option should use @w around it's argument?

Thanks!

Arnold