Add setup command for building a static python interpreter with pyvex.

This is a giant hack to get around the fact that libvex comes as a
static library for most valgrind distributions (debian/ubuntu). It is
not compiled -fPIC so it is not possible to make a shared object
extension nuless libvex is recompiled.