hub sync: part 3 -- make connect exponentially retry; also, make it more robust in case local_hub.js is kill -STOP'd (a good test case fo rnastiness).
hub sync: part 3 -- make connect exponentially retry; also, make it more robust in case local_hub.js is kill -STOP'd (a good test case fo rnastiness).

DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,DrXyzzy/smc,sagemathinc/smc,DrXyzzy/smc,tscholl2/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc