Make the pigpen.jar location in the generated script configurable

Use the `:pigpen-jar-location` option to generate a script with a location other than 'pigpen.jar'