gcore 1.3

gcore dumps the core of a process.

`gcore` and `generate-core-file` commands are missing in OS X `gdb`.

Use `sudo arch -i386 gcore <pid>` to dump the core of a 32-bit process.