Merge branch 'dev' #2472

Job	Run time
test_indep	5m 39s
test (ki5, g1)	5m 8s
test (ki5, g2)	3m 45s
test (ki5, g3)	3m 45s
test (ki6, g1)	5m 44s
test (ki6, g2)	5m 19s
test (ki6, g3)	4m 41s
test (ki7, g1)	5m 58s
test (ki7, g2)	6m 21s
test (ki7, g3)	5m 51s
test (ki8, g1)	6m 28s
test (ki8, g2)	5m 50s
test (ki8, g3)	6m 16s
Finish Coveralls	2s
Consolidate coverage data	1m 5s
Triggers the docker images creation	0s
	1h 11m 52s

Provide feedback