sat: create class

interface with the sat solver
graph: add test for "sat"
makefile: add target "sat"
Merge branch 'master' of https://github.com/nathanprat/tlp-gp

Conflicts:

	parserc++/Makefile