Build Python 3 version too (as py3lint)