Removed sats files from dynload, added simple wrapper around Python C API, added in a routine that embeds Python into the constraint solver.