A modern GUI frontend for gdb