Update the Travis file of the workbench
Merge branch '4.2'