Rename main.py to antimony and make executable