Documents: Update for new debugger commands, copyright.

Update the copyright notices to 2014. Add support for new commands
and options.