First commit of README and source files for symbolic-execution-tracer