cosmetics
svnhasprop.sh prints files with given svn prop
don't use DIFFEXTRA, -x -u, file diff, prop diff