Fixed yielding bug with scheduler interaction

ALL tests of the thread and userprog projects pass completely, with the
possible exception of the nice-10 thread on specific machines/emulator
pairings.

Additionally, added designdoc template for virtual memory project.