Add an expression for building Coq HEAD
Merge pull request #3498 from Fuuzetsu/nvidia

Copy over libGLESv2 and libEGL too for nVidia blob
Copy all so files over from nVidia blob