Update Github repository link in index.html

Update submodule branch used for ace

Allow playing game when other queries broken

Fixes mutations on already used transitions

Transition placed in transition sets were mutated. This caused duplicates to occur, since TransitionSet.Add was circumvented.

bug fixes to games

everything new

tccs parsing added, game bug fixes, more tooltips, and probably more

new explorer, game refactoring, bugs, local algorithm for trace inclu…

…sion

added formula for trace inclusion

report bug button, new help dialog text, lock(freeze) in game, more t…

…race equivalences, fixes for reported bugs, changed game log slighty