fix encoding of titles of buttons
repository's clean-up. add LocalServerConnectedToCats class
change default server name
remove external line feeds from Servers.js
load of previous loaded contest on page refresh
rename Scope to StackFrame
Merge remote branch 'remotes/cw1/master' into CallStack
fix returning to the previous step