Change header size for job name
Changing behaviour for pausing/resuming job
We now reflect the behaviour of pulback, changing "paused" flag for pausing/resuming
Add a new command for restart
Add capability to retrieve tasks and subtasks from the server
Handle more values in pul_query tool
- priority is correct (dispatchKey on server)
- maxRN
- allocatedRN
- pool

Add new webservice to edit maxRn
Adding new webservice
It is now possible to update maxrn and prio on multiple jobs using the query/constraint mecanism
Changing WS adress "editstatus" to "edit/status" for consistency
Correct error return in server WS
Add a new tool to edit maxRN and dipatchKey
Merge branch 'feature/update_batch_tools' into develop

Conflicts:
	Puli/src/octopus/dispatcher/webservice/webservicedispatcher.py