gdbstub: 0.5.0

[jeanthom]

[daniel5151]

0.5 is pretty old at this point, but I guess the rationale here is that going to 0.5 is easier than dealing with all the API changes in 0.6+?

[jeanthom]

Yep, the API changes are too important for me to swallow in one go.