Use size-optimized docker build for on-push-CI as well

Renaming the CI jobs slightly to make them easy selectable by platform name.

Author: larskanis