Change handling of retired projects#152

adityasaky merged 4 commits intomastersecure-systems-lab/secure-systems-lab.github.io:masterfrom

retired-projectssecure-systems-lab/secure-systems-lab.github.io:retired-projectsCopy head branch name to clipboard