Rename produ.py to prod.py