upgrade coq to 8.4pl3 + fixes various windows specific issues