Build docker images after release

Use a custom runner to build & push docker images on the registry

• gpu basic dev
• cpu basic dev
• gpu basic
• cpu basic
• gpu dev (SSE, AVX optimized)
• cpu dev (SSE, AVX optimized)