Refactoring: moved Hamilton-Jacobi from Experimental to Examples

It is an implementation of a specific solver, not part of the general
(header-only) library. If there are some useful generic templates (like
operators etc.), they need to be refactored into the generic interface.