Changed makefile for frameworks generation
Moved all the frameworks
Removing frameworks from frameworksdir
CHanged proxdd derivation - fixed backtracking bug
Added frameworks generation script
Genetic algo mostly done, mutation TODO