renamed satgenerator into maxsatgenerator; fixed two minor warnings
fixed the #include constant as well, oops
removed a signed/unsigned warning
fixed the inheritance mess. now it's pretty.
also fixed the makefile in consequence.