INSTALL-xubuntu-12.10: Use git protocol instead of https for git clone commands.