Add add-plugin and remove-plugin; maintain an Info index.

Add add-plugin and remove-plugin; maintain an Info index.

The postrm Debian installation scripts do not work if they are run
after the core package is removed.  And prerm scripts do not work if
they update indexes based on what is installed.  (The package being
removed is still installed.)  Replace update-html-index and update-
optiondb-index with add-plugin and remove-plugin, procedures that
add/remove names to/from a list.  These work in prerm scripts.

Move pucked Info documentation to the pucked project documentation
directory.  This keeps it separate from the official docs, and keeps
dpkg installation from finding them and trying to install them in
/usr/share/info/dir (e.g if they were installed in /usr/share/info/
mit-scheme-pucked/).  Shorten documentation filenames.  Tidy up manual
titles and make them more consistent.

Make HTML documentation non-optional.  It is more important than the
non-graphical Info documentation.