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

I just want to note that there could actually be some confusion here, given that there could be real "counter examples" in the development.