RFC: add ability to "source" Python code

[Tom Tromey]

>>>>> "Thiago" == Thiago Jung Bauermann <bauerman@br.ibm.com> writes:

Thiago> I've never written a Python script (in GDB or otherwise) with that
Thiago> markup, but *all* the Python scripts I ever wrote in my life ended
Thiago> in .py. It'd be just counter-intuitive and counter productive to not
Thiago> support the filename extension.

Yes, I agree.

However, due to the controversy, I'm withdrawing this patch.  I guess
users can use "python execfile".

Tom