Add setup.py back that was wrongly removed in the previous commit.