Updated package-lock dependency files.

Finalized undo operation in requirement editor and introduced redo op…

…eration.

CLI: Improved output message when diagnosis fails due to UNKNOWN resu…

…lts.

Removed executables since they are no longer compatible with current …

…FRET version.

Minor rewrites in LTLSIM documentation and logging clean up.

Update installationInstructions.md

test id change for select all button

Added copyright in new files

FTP as a predefined constant and unreplace_special_chars in the simul…

…ator

Added Python version in installation instructions