gdb/doc: include openrisc documentation from GDB 7.2

Signed-off-by: Franck Jullien <franck.jullien@gmail.com>