Rename more files and build dump-ops.
Style changes to dump-ops.