add instruction for installing pintos on nu-ccis machine