Fix of the previous commit - added ast-manager files
Solver class, part 1 - non-working linkage with picosat