Adding specifications and projects for lab 2 (TCP)