Enable tools by default on desktop. The time to build them is negligeable, and...

Merged Simon Morlat requested to merge fix/enable_tools into master

Enable tools by default on desktop. The time to build them is negligeable, and this is important that they are not broken by changes in the apis.

Merge request reports