svn: ignore several generated files

Since docs is often build in-tree, add the appropriate svn properties to
ignore files that ought not be committed or shown in "svn status". This
reduces, but does not eliminate, the noise from a populated tree.