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.

This commit removes the `servant-static-th` dependency from the project,
because it turns out we weren't using this package, and furthemore we
were depending on a fork of the latter.