added codecs to filecmp.py