A wrapper executable

[langston-barrett]

Running the analysis is a two-step process: You have to run the fact generator, output facts to some directory, then separately compile or interpret the analysis and pass the fact directory to it. We should provide a thin wrapper exectutable (one per analysis) that runs the fact generator and then the analysis. This would simplify the UX, and potentially enable avoiding the overhead of writing to disk, which might be substantial for smaller programs.