Install TLA+ unicode converter into gitpod and codespaces

[lemmy]

https://github.com/tlaplus-community/tlauc should be installed as part of https://github.com/tlaplus/Examples/blob/master/.devcontainer/install.sh.

/cc @ahelwer

[ahelwer]

This can be done with

wget -nv https://github.com/tlaplus-community/tlauc/releases/latest/download/tlauc-linux.tar.gz
tar -xzf tlauc-linux.tar.gz