move explorer to separate repository https://github.com/emnh/boolwidth-explorer and add as submodule instead