Rename crc64 to crc64.py