Tobias Oetiker's patch for a --drop-cache option.