Add symcomp files, add json_index_creator tool, add flask functionality.
Remove accidental file