image for polymake (http://polymake.org) including several 3rd party tools interfaced by polymake