Add CIL 1.7.1

I just released CIL 1.7.1 with lots of improvements. I have in particular made sure that it behaves properly wrt. opam. Here is a package (tested on Linux only).