Test

Disappointing

10-5-12 - Re-did all this to remove the .svn files from cloning the pintos repo. Also moved this entire directory into sean's svn repo for OS. blah blah blah HEY GO INTO pintos and RUN "src/misc/build-pintos...etc . pintools ." or nothing will work

party time