Rename Mine.py to mine.py