Slew of changes relating to svn:ignore. Set that property all over
the place to ensure that svn stat does not return any ? entries on a
freshly built HOL. Also deleted all the now-redundant .cvsignore
files. Finally, added a standard-svn-ignore file in developers to be
something that can be copied into a fresh directory for a good
starting point. You would do this with
svn ps svn:ignore -F ~/HOL/developers/standard-svn-ignore .