Merge branch 'very_important_renaming' into 'master'

Rename bi/lib/counter_examples to bi/lib/counterexamples.

See merge request iris/iris!226

_CoqProject

@@ -41,7 +41,7 @@ theories/bi/monpred.v
 theories/bi/embedding.v
 theories/bi/weakestpre.v
 theories/bi/telescopes.v
-theories/bi/lib/counter_examples.v
+theories/bi/lib/counterexamples.v
 theories/bi/lib/fixpoint.v
 theories/bi/lib/fractional.v
 theories/bi/lib/laterable.v