[gtk] (9 commits) ...Merge branch 'ci-docs' into 'master'

[Emmanuele Bassi <ebassi src gnome org>]

Summary of changes:

  97b5775... ci: Add a separate "docs" stage (*)
  8a6d5a7... ci: Fix style check script (*)
  a87966b... ci: Rename the "style-check" phase to "analysis" (*)
  382340c... ci: Add clang-analyzer to the fedora build image (*)
  92d86c4... ci: Update all fedora images to v14 (*)
  d9608a0... ci: Move style-check to .pre phase (*)
  7bc50b7... ci: Update the docker wrapper script (*)
  341b2a3... ci: Add a static analysis job (*)
  06ff60a... Merge branch 'ci-docs' into 'master'

(*) This commit already existed in another branch; no separate mail sent