Many updates

Many changes:
* new naming scheme: `coq-package-name.MAJOR.MINOR.PATCH`
* only stable packages compiling with Coq 8.4pl4
* Math-Classes and CoRN
* some contribs hosted on https://github.com/coq-contribs