VEX sub-repository for valgrind (upstream and some patches)