[Etoys] Git mirror

[Bert Freudenberg]

I set up

	http://etoys.laptop.org/src/

as a mirror of the git repository. This tracks the git repository  
contents with a few minutes lag.

- Bert -