moved CREDIT to polymake.ext