Merge pull request #3 from marcvinyals/master2

Add tests
CNF implementation factored out
Lifting code has been factored out
Main module renamed
CNF variables produced by reshuffle.py have integer labels
Refactoring of the graph utilities and formula generators