Rename regextree3 to regextree3.py