Rename ist_palindrom.txt to ist_palindrom.py