Version 1.3. Merged internal forked branches.
F2LP now supports
 - equivalence within the body of the rule.
 - input directly from stdin.
 - use of #spatom{ } to pass in-rule text directly through.