Update and rename hanoi-operators.py to hanoi-domain.py