Fixed several broken links and added canonical links for SEO - #255

Fixed several broken links and added canonical links for SEO#255

shd101wyy wants to merge 3 commits into

runtimeverification:masterruntimeverification/iele-semantics:masterfrom

shd101wyy:fix/broken-linksshd101wyy/iele-semantics:fix/broken-linksCopy head branch name to clipboard