Major stuff

- `--jsverifyRngState` command line argument
- use `Makefile`
- use karma