Add `backend` option in `zokrates-js`, bring back bellman, add a log writer to support printing logs in js