Rearrange docs to have all the -ddump-* options together