Create t_set_port

[j2blake]

This will change all specified ports in server.xml to the desired range (4080, 5080, etc.), so we can run multiple Tomcats without conflict.

[j2blake]

Need to re-deploy after setting ports. Would it be enough to set "failed" on deploy?