Better valgrind and travis integration