Expose x87 and SSE registers to gdb.

Resolves #1232.

@rocallahan you might want to skim over this.  The `Task::get_reg()` API isn't my favorite, but I think it's a quick way to get 2.0 out of the door that doesn't send us too far down the wrong path.