Rename infinit.py to infinit