Move to Python 3, add tests for uniqueness.
Fix some problems with the lint.py