added links to proof of queue and list implementations
Merge pull request #4 from continnd/continnd

added links to proof of queue and list implementations