polymake extension done. Added direct_sum.cc with no changes because conceptualy it's already working. Remains test it.