Use partition_key + invocation_id as "public invocation id"

[slinkydeveloper]

This is a bit of an extension from #703. The idea is to use partition key + invocation id as the id the user sees in the logs and in the sql interface, to query invocations and to use admin commands like kill/cancel.

Tasks

Beta Give feedback

1. Rename ServiceInvocationId to FullInvocationId, adopt the new format of in Display. Make sure all the log lines now use the new format. #713
   +0
   
2. Expose this new id in sql api, either in the existing sid column or in a new column #725
   sql +1
   
3. Adapt the kill command to use the new format. #726
   admin +1
   
4. Update the documentation and tutorials where we talk about the sid documentation#127
   +0