This commit switches to an Hackage-released version of HSvm,
specifically 0.1.1.3.22, which is the same we were previously
relying on, but by pinning on a specific commit
`3fe28b683aba5ddf05e3b5f8eced0bd05c5a29f9` of the GitHub repo.

This also restores commit `243cfbb5`,
which got misteriously missing.