model-checker: Kill dependencies and move back to libpspp.