add PYCOSAT_VERSION macro