Support querying Idris about which functions call which other ones

This has both REPL and IDESlave interfaces.