gdbfrontend v0.3 beta releases : easy, flexible and extensionable gui debugger