DEV: Issue with DEVICE_POOL_ID

DEVICE_POOL_ID is set in the .gitlab-ci.yml for the project that uses the device cloud.

DEVICE_POOL_ID can either be a number, or a path. The Device Cloud works if it is a number.

However, if it is a path, then it flows down and in pico_flash, the runner uses it to curl the value of the variable device_cloud_ if PIPELINE_ID_LOCKING is enabled. The runner script needs to url-encode the DEVICE_POOL_ID if it is a path. Currently it does not do that, so the curl results in a 404.

Solution is to url-encode DEVICE_POOL_PROJECT_ID in the script that the runner runs when it receives a job.