Add lint.py