Making gdbtui optional
Fixed python configuration and explicited TUI disabling