[Bug 676688] Upgrade coq to version 8.3