gdbfrontend v0.8beta releases : easy, flexible and extensionable GUI debugger