Source-code-licking

This is a preview version of Macke with source code walking, code-based distance metrics, and all amateur stuff thrown in to create what is, possibly, the first ever generalized compositional analysis tool using symbolic execution.

Have fun breaking things!