renaming prev project to LTLvis

need to make major changes to algorithm to make it more robust