Rename file serializer/deserializer name

Old name was serializer_catalog.py. Catalog is not an intuitive name,
serializer_file.py is more intuitive.