document(): don't use clean=TRUE
Add devtools.cleandoc option
Update NEWS
Merge pull request #219 from wch/doc-no-clean

Add devtools.cleandoc option to control behavior of document()