authorized_keys.py: re-add license header