Add some links.

for "A Verified Information-Flow Architecture"
Merge pull request #12 from arthuraa/master

Add some links.