Rename randtxt to randtxt.py