Pre-Compiled Code

I found it annoying working on Linux and having to cross compile binaries and so I have added the test code included in Johannes Kinder's static analysis framework. Jakstab's source code can be found at https://bitbucket.org/jkinder/jakstab/ .