Add eagerly evaluated interface to grudge, plus example

enabled an automatic merge when the pipeline for 3f40665f succeeds

canceled the automatic merge

added 4 commits

• 69b1707b - Delete some more unnecessary code in eager interface
• 05308996 - Eager example: towards dim independence
• a43187df - Get eager wave example to be dim-independent
• 73c0b939 - Switch eager example over to weak DG

Compare with previous version

enabled an automatic merge when the pipeline for 73c0b939 succeeds

merged

mentioned in commit a3f8210e