Allow ports to set the default value for SHOULD_INSTALL_JSC_SHELL

* The GTK and HAiku ports wants this on by default, but the option()
call was overriding it. Make it use the value of the variable as the
default, but still let the user a way to override it.