GitLab

 - Use correct tooldef tool name.
 - Remove spurious empty lines in test-all.launch.
 - Exclude .dsm files from license header check.
 - The new plugins are now in a feature.
 - Fixed inconsistent build.properties indentation.