Add readme with the first two automata and an alternative
implementation, that won't suffer from false positives and that
doesn't rely on execution flow control deterministic enforcement.

Signed-off-by: Andrea Arcangeli <aarcange@redhat.com>