Removed MANUAL.

MANUAL is now outdated and is too difficult to maintain. The
docstrings now incorporate all the ideas first used in MANUAL, so
it is no longer needed.  Future docs will be generated automatically
from the docstrings.