Build and push Docker images #658

Job	Run time
Setup	3s
Build and push server images (5875)	1h 21m 21s
Build and push server images (5464)	1h 21m 14s
Build and push server images (5302)	1h 19m 42s
Build and push server images (5086)	1h 24m 11s
Build and push server images (4878)	1h 22m 8s
Build and push server images (4695)	1h 18m 56s
Build and push server images (4544)	1h 20m 24s
Build and push database images	7m 0s
Delete old package versions	4s
Update revision badge	2s
	9h 35m 5s

Provide feedback