This renames Encoding.py -> encoding.py. Also makes cosmetic changes to it.