DEF_OPT_AS_INT isn't actually used anywhere, remove it for now.
Create a standalone program that outputs the wtperf documentation in
doxygen format, then compile & call it as part of running dist/s_docs.
Reference #1147.