Devel: fixed an oops in rm_double_paths; added -H option for hardlinks, updated -h documentation.