Patmos docs updated to reflect lf-lang/lingua-franca#2383#255

lhstrh merged 3 commits intolf-lang:patmoslf-lang/lf-lang.github.io:patmosfrom

EhsanKhodadad:patmosEhsanKhodadad/lf-lang.github.io:patmosCopy head branch name to clipboard