Generalizing repositories which can be checked out.

The main change is that svn and hg can be checked out from the GUI.
Also, some minor modifications in the English sentences.