Merge branch '5.1'

Authored by brauch on Aug 17 2017, 4:48 PM.

Description

Merge branch '5.1'

Merged Changes

CommitAuthorDetailsCommitted
ff52dc234d64brauch
Dockerfile: update llvm to 3.9.1; fix ninja installation 
Aug 17 2017
63694ce0e0febrauch
Set version number to 5.1.2 
Aug 15 2017
71e8140b9a58l10n daemon script
SVN_SILENT made messages (.desktop file) - always resolve ours 
Aug 9 2017