Add a notion of a language based on evaluation context items

and show that this is an instance of evaluation contexts
1 job for master
Status Job ID Name Coverage
  Test
failed #311
coq
buildjob

00:00:16

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again
/usr/bin/time -f "prelude/base (user: %U mem: %M ko)" "coqc"  -q  -Q "." iris   prelude/base
make[1]: *** No rule to make target 'program_logic/ectxi_language.vo', needed by 'heap_lang/lang.vo'. Stop.
make[1]: *** Waiting for unfinished jobs....
prelude/base (user: 0.86 mem: 369288 ko)
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:3: recipe for target 'all' failed
make: *** [all] Error 2

ERROR: Build failed with: exit code 1