[issue7351] Rename BadZipfile to BadZipFile for consistency

[Georg Brandl]

Changes by Georg Brandl <georg at python.org>:


----------
Removed message: http://bugs.python.org/msg119757

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue7351>
_______________________________________