Initial minisat.py commit
Initial commit of cnfparser.py
Added name to LICENSE
Moved satutils to cooking library directory.
Added xor2, and2, and equal1 to satutils.
Added __init__.py files.
Put pyparser requirement in README.