Don't allow extend votes when there is no time limit.

Otherwise the game time could be set to 10 minutes – and if 10 minutes have
already elapsed since start, game over.
Avoid localisation issues with md5sum in the download script.

(Fixes issue 150)