Rename download_tolerance to something more accurate

We discussed this at our meeting today and decided that this name is misleading: It's not about downloading, it's about skew tolerance with respect to directory documents.