Pub / Extract module choose https/ssh access to repo

Depending on the account setting https can be insufficient. We should offer a simple choice whether to use https or ssh when setting up a pub-module via the extract module script. This involves essentially changing the git URL depending on what the user chooses.