Removed some obsolete localinstall and PIKE_MODULE_PATH stuff. Search $PATH for $PIKE. When --gdb is used and $pike is a script, run it with a --gdb argument instead of feeding it to gdb, which will surely fail. Rev: server/start:1.122