Initial Python3 support.

This provides initial support for GDB using Python3 instead
of Python2.

In addition the build is extended to work with a frozen Python
standard library, so that the installed machine does not require
Python (or rather does not require the same version of Python
as used for configuration.)