rearrange coq files

- move core modules from /validator to /rabbit
- removed syntax, semantics of small language in /rabbit
- modified build script