Added a retract function and a failing test.
Added an implementation that passes the test.

So far the retract command can only handle fact-indices in the
retract-specifiers. I will get around to implementing * and
rete implementation and defrule.