Remove overly specific examples

They will use Iris is a library, in that paper's repo
1 job for master
Status Job ID Name Coverage
  Test
passed #281
coq
buildjob

00:03:17