Merge branch 'stable-3.15'

* stable-3.15:
  Align the look&feel of the plugin manager with the intro page
  Fetch Gerrit version dynamically in intro.html
  Modernise Gerrit intro page

Change-Id: Ia0cdef91bd887150fc66e39abd9225b046d9a357