Check in the correct install.sh

Previous install.sh was not the final version; this version checks for
existing files, and generally behaves nice if you call it multiple times
or from different directories.