Lost counter for cOOre

This PR contains:

- External bindings (originally implemented by me but then overridden by the changes in the core-compiler)
- The "new" core compiler
- A working version of lost counter with websockets