Update pintos-gdb to automatically find gdb-macros. Set qemu to use 4 cores. Update .gitignore to ignore build of doc/