Added posibility to use zsolve

and add cost vectors to groebner.
Increased Version.
Added support for graver.