Add `jet_poly` example with total derivative#2451

rburing wants to merge 1 commit intoflintlib:mainflintlib/flint:mainfrom

rburing:jet_polyrburing/flint:jet_polyCopy head branch name to clipboard