ci: Update `developer-tools`

Latest version of `developer-tools` provides release notes automation.

Also, make necessary changes to use latest version of `developer-tools`

* Rename CI stage names in this repository for matching those
defined in the latest `developer-tools`.
* Move `SYNC_DESTINATION` to global for other stages to use.

Signed-off-by: Martin Kojtal <martin.kojtal@arm.com>