RequirementMachine: Minor documentation updates

This just deletes some outdated material, but really the whole paper
needs an overhaul and some major additions to describe generic
signature minimization too.

Author: slavapestov