Update the Travis file of the workbench
fix output buffering levels
Faster int cast
Merge pull request #5596 from lucasmichot/4.2-int-cast

[4.2] Performances : Integer casting
Merge pull request #5560 from alprs/fix/ob-clear-all

Fix output buffering levels
Merge pull request #5540 from AntoineAugusti/4.2

Update the Travis file of the workbench
Clean up a few doc blocks.
Merge branch '4.2'