IVLE should include username svn URLs it shows to the user

Also note that in the lecturer view (projects view), it already displays the username on the suggested command line, with --username=lecturer. Even so, fix this bug (add lecturer@ to the URL), and get rid of --username, as this way is more natural.

Fixed in trunk r1789.

Actually, I just tried an svn co with studenta@ in the URL, and it seemed to ignore it and go with the cached username. --username overrides it. So maybe we should be recommending the use of --username instead.

Ok. In that case, I agree. Go with the --username option.

Well it's not quite that simple. Firstly, I'm not sure at all of the behaviour. Maybe it does work, and I just caught it having a bad day. Needs more testing.

Secondly, on the "settings" page we don't give a command line, we just give the URL. (That's intentional because students want to use it with IDEs as well as on the command-line). In that case, they should enter their username into the IDE.

If we choose to revert, just apply the reverse diff of r1789, and also update the user subversion documentation to suggest adding --username=<your IVLE login> if using command-line Subversion. (If you roll-back this revision, it already suggests to use your IVLE login as your Subversion username.)