Updated the latest version number and release date
Added instructions for enabling annotations in the PIDE Coq editor