add list_reverse example

1 job for master
Status Job ID Name Coverage
  Test
failed #533
coq
buildjob

00:03:46

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again
heap_lang/lib/spawn (user: 9.66 mem: 511120 ko)
heap_lang/lib/counter (user: 10.66 mem: 512816 ko)
tests/one_shot (user: 15.28 mem: 529000 ko)
heap_lang/lib/barrier/proof (user: 29.47 mem: 571788 ko)
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:7: recipe for target 'all' failed
make: *** [all] Error 2

ERROR: Build failed: exit code 1