Introduced a naive Call Graph to improve on for spiderflunky #17

Implements a naive procedural call graph. Plan to change out with a
more formal model based on an abstract semantics (k-CFA, CFA2, or some other approx)