Add some Apalache models

[ahelwer]

Currently no specs included in the repository have an Apalache model. It would be nice to have some examples of this. The Einstein's Riddle spec would be an ideal first candidate, as TLC has a tough time with it. Apalache could then be added to the CI checks.

[nano-o]

Here's a first one: #112

[nano-o]

Also this one: #113

[ahelwer]

Saving this here for future addition to CI download script:

# Get Apalache
wget -qN https://github.com/informalsystems/apalache/releases/latest/download/apalache.tgz -P /tmp
tar -xzf /tmp/apalache.tgz --directory "$DEPS_DIR"
mv "$DEPS_DIR/apalache-*" "$DEPS_DIR/apalache"

[lemmy]

Examples/.devcontainer/install.sh

Lines 40 to 45 in 789a653

	## Install Apalache
	wget -qN https://github.com/informalsystems/apalache/releases/latest/download/apalache.tgz -P /tmp
	mkdir -p tools/
	tar -xvfz /tmp/apalache.tgz --directory tools/
	echo 'export PATH=$PATH:/workspace/Examples/tools/apalache/bin:/workspaces/Examples/tools/apalache/bin' >> $HOME/.bashrc
	tools/apalache/bin/apalache-mc config --enable-stats=true

[ahelwer]

I did base it on that! Currently this is the only thing holding back adding apalache to the CI, because I want to import Apalache.tla from the Einstein Riddle spec for some fun additional type annotations: apalache-mc/apalache#2824