Merge branch 'dev' #2377

Job	Run time
test_indep	3m 48s
test (ki5, g1)	4m 50s
test (ki5, g2)	3m 41s
test (ki5, g3)	3m 25s
test (ki6, g1)	5m 33s
test (ki6, g2)	5m 19s
test (ki6, g3)	4m 24s
test (ki7, g1)	5m 59s
test (ki7, g2)	6m 17s
test (ki7, g3)	5m 33s
test (ki8, g1)	6m 3s
test (ki8, g2)	5m 44s
test (ki8, g3)	6m 12s
Consolidate coverage data	1m 3s
Finish Coveralls	3s
Triggers the docker images creation	0s
	1h 7m 54s

Provide feedback