Refactor structure so path info can be shared among branch/path analysis and path coverage.
Compiler warning fixes.
Fixed memory leak.
Refactor dumping branch and path into two functions.
Setup path discovery

Paths are discovered correctly, but not yet matches against the possible paths.
That's up next. That, and cleanups, and lots of tests.