Coq 8.4.5 added
Merge pull request #2938 from clarus/master

Coq 8.4.5 added