Migrate source to Coq 8.5 + Ssreflect 1.6
Currently, there are no Ubuntu packages for the new version of Coq, but it's already available for Mac and Windows.
Some fixes are required in the migration:
- Change the Import command in each file
- Fix some proofs that break in the new version