Web API: change /processor/{executable}/{job_id} to just /processor/{job_id}

[bertsky]

According to this discussion on the Processing Server implementation, we should simplify here.

(But it must be clear at all times what is a workflow job ID and what is a processor job ID.)

Besides the Swagger, lots of mentions in web_api.md would have to be updated.