Generating the call graph for the repo

A call graph for the repository in .dot format can be generated and viewed using various graph visualization tools, to aid in development/investigation work.

For this you will need to install hiedb:

1. Navigate to some directory where you're comfortable to clone the source of HieDb
2. $ git clone git@github.com:wz1000/HieDb.git
3. $ cd HieDb
4. $ cabal install

After that, from the top level of the kore repo, run:

$ stack install --test --no-run-tests --force-dirty --ghc-options="-fwrite-ide-info -hiedir hiefiles"
$ cd kore/hiefiles
$ hiedb index .
$ hiedb ref-graph

This will produce a file refs.dot in the current directory that represents the repository's call graph.