Eikonal solver using FEniCS