Cleanup wiredtiger.in: adjust whitespace to make it more human readable.