Bug-fix release for Coq 8.1

The patch level 4 release of Coq 8.1 is out. See the download page.