welcome.html: show recently changed worlds
file listing win welcome.html
Add feature to GitControl to change Git working directory, to support submodules and other repository checkouts in the lively tree