Added a timeout to the https ping

For those not using https who might have it firewalled, this request without a timeout causes significant delay. Adding a moderately generous timeout shouldn't affect anyone negatively, but will make things a bit nicer otherwise.
Merge pull request #285 from silarsis/patch-1

Added a timeout to the https ping