[PPL-devel] new paper on polymake in Linear and Integer Programming