Add some links.

for "A Verified Information-Flow Architecture"