ovs-dev.py: Support check-valgrind in the Makefile.