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

Tested on the co3050-09 computer in the lab.

merged

mentioned in commit 52a6e535