Add permtools.py