added links to proof of queue and list implementations

1st draft portfolio