Update README.

The fixed plugin works also with Coq 8.4pl3.