about 1/3 of userprog tests passing. unfortunately there are concurrency bugs (see TODO.txt)