Fix link in part1_getting_off_the_ground.html#20

Otto-AA wants to merge 1 commit intoFStarLang:masterFStarLang/fstarlang.github.io:masterfrom

Otto-AA:patch-1Otto-AA/fstarlang.github.io:patch-1Copy head branch name to clipboard