Updated to use a $NAME variable to create PID and state files,
correcting also locations where these are stored (in jetty.base rather
than jetty.home).