Add GitHub Actions workflow for Docker image CI #6

Job	Run time
Build Docker image for 13-3.5-develop	6m 14s
Build Docker image for 13-3.5-main	6m 6s
Build Docker image for 13-3.5-3.6	6m 5s
Build Docker image for 13-3.5-3.7	6m 5s
Build Docker image for 14-3.5-develop	6m 6s
Build Docker image for 14-3.5-main	6m 6s
Build Docker image for 14-3.5-3.6	6m 1s
Build Docker image for 14-3.5-3.7	6m 10s
Build Docker image for 15-3.5-develop	6m 20s
Build Docker image for 15-3.5-main	6m 11s
Build Docker image for 15-3.5-3.6	6m 11s
Build Docker image for 15-3.5-3.7	6m 22s
Build Docker image for 16-3.5-develop	6m 24s
Build Docker image for 16-3.5-main	6m 11s
Build Docker image for 16-3.5-3.6	6m 9s
Build Docker image for 16-3.5-3.7	6m 9s
Build Docker image for 17-3.5-develop	6m 7s
Build Docker image for 17-3.5-main	6m 3s
Build Docker image for 17-3.5-3.6	6m 16s
Build Docker image for 17-3.5-3.7	6m 12s
	2h 3m 28s

Provide feedback