Adding gdbgmr plugin