Cleaned up for release.

Cleaned up for release.

* .gitignore, doc/.gitignore, src/.gitignore:

These versions are perhaps too narrow.  They are just sufficient for a
i386-linux build.

* doc/user-manual/user.texinfo:

Quieted a bogus texinfo warning with whitespace.

* src/microcode/Tags.sh:

`make tags' in src/ (the src/Tags.sh script) expects a Tags.sh in all
SUBDIR.

* src/microcode/configure.ac:

Avoid duplicate prbfish and prmd5 in MODULE_BASES, to quiet a make
warning.  I do not see why this is happening, but it is happening in
master as well.