Done woth the intall script for setting up pintos in a jiffy
Merge branch 'master' of https://github.com/luminor/pintos