You can now debug programs using GDB on Redox OS

Now, the reason for not finishing is that I'm basically done! That's right, GDB has served us reliably for the past few weeks, where we've been able to debug our dynamic linker (ld.so) and find problems with shared libraries. We got to the point where the amazing @bjorn3 has managed to run his first rust program compiled on Redox using his rustc cranelift backend!

While obviously we would've found the bugs without gdb eventually, I'd love to attribute enough credit to it that it warrants being posted here!

Redox OS is an operating system written in Rust.