Copy over libGLESv2 and libEGL too for nVidia blob
Add an expression for building Coq HEAD
Merge pull request #3498 from Fuuzetsu/nvidia

Copy over libGLESv2 and libEGL too for nVidia blob