python 3 lint