Merge branch 'eager' into 'master'

Add eagerly evaluated interface to grudge, plus example

See merge request inducer/grudge!63