added content to the pintos project page