Changed name of tool shared objects from vgskin_XXX.so to vgtool_XXX.so.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3054 a5019735-40e9-0310-863c-91ae7b9d1cf9
9 files changed