Rename update -> update.sh

Also modified nerdcommenter's Git clone URL to use https instead of ssh,
so that running update.sh will succeed even if an SSH key for the
system has not been set up at that point.