Update VEX patch and INSTALL file

VEX fixed the Makefile.gcc problem we'd needed to patch. Update the
INSTALL file to suggest the now-latest version with that fix, plus some
other slight improvements while I'm looking at it.