[PATCH] Add support for gdb.PYTHONDIR as $gdb_datadir/python.

[Tom Tromey]

>>>>> "Doug" == Doug Evans <dje@google.com> writes:

Doug> The execfile of __init__.py feels odd.  I haven't seen it done
Doug> elsewhere and I wonder if it's needed.
Doug> [I know python has __init__.py, I just don't know if we have to
Doug> *explicitly* exec it.]

Normally, no, but in this case we do because the "gdb" module is created
in C code, not via an import.

Tom