Build and push Docker images #461

Job	Run time
Setup	5s
Build and push server images (5875, 0)	1h 22m 57s
Build and push server images (5875, 1)	1h 25m 0s
Build and push server images (5464, 0)	1h 25m 31s
Build and push server images (5464, 1)	1h 25m 16s
Build and push server images (5302, 0)	1h 27m 52s
Build and push server images (5302, 1)	1h 24m 40s
Build and push server images (5086, 0)	1h 24m 37s
Build and push server images (5086, 1)	1h 24m 13s
Build and push server images (4878, 0)	1h 20m 29s
Build and push server images (4878, 1)	1h 22m 57s
Build and push server images (4695, 0)	1h 23m 59s
Build and push server images (4695, 1)	1h 32m 36s
Build and push server images (4544, 0)	1h 23m 0s
Build and push server images (4544, 1)	1h 26m 56s
Build and push database images	6m 34s
Delete old package versions	5s
	19h 56m 47s

Provide feedback