Merge branch 'hamilton-jacobi' of ssh://geraldine.fjfi.cvut.cz:2222/local/projects/tnl/tnl into hamilton-jacobi