Adding a simple main class for running Symbolic Execution and so forth.