Fix hoqide

Bas told me that hoqide said

```
Error during initialization:
Error: File not found on loadpath : stmworkertop.cmxs
```

So now we copy the stm directory (which contains stmworkertop), too.
Merge pull request #422 from JasonGross/fix-hoqide

Fix hoqide.
Independently verified to work by @jledent .