Batch setpid

Create a batch script that allows setting the PID constants more efficiently.

Also made a tutorial for using the script.

@snawerdt @tymina @dawehr