gdb: add '--with-python' option

'--with-python' enables python scripting within gdb. This option can be useful with so-called 'pretty printers'