Moved saddle point recognition to DijkstraPropagation and added polyhedron field to DijkstraPropagation.

Signed-off-by: Titouan Rigoudy <titouan.rigoudy@gmail.com>