remove config.cache during distclean, in case the user is using autoconf caching