treemerge: bugfix for a problem that ignored some files and handles others weirdly
sh: remove old mentioning of rmlint.log
cmdline: bugfix -F should set see_symlinks to false