gdb configuration revamp
Fix quick-run ()
Theme tweak