Clean up website#251

patzielinski wants to merge 1 commit intomastersecure-systems-lab/secure-systems-lab.github.io:masterfrom

updatessecure-systems-lab/secure-systems-lab.github.io:updatesCopy head branch name to clipboard