[PR] Introduce deployments for platform, plugins, and remaining themes

Previously, only themes could be deployed by tag through GitHub. This set of changes allows us to deploy almost everything to the platform via version tag, including the platform itself.