Adding the tests files for lua and js integration
First commit on the cosyverif GUI client