Makefile.am (clean): Also delete the versioned dump files.