Rename gerrit module to gerrit_ui

This frees up the name 'gerrit' in the top level page, making it
available for us to start publishing a JavaScript native API for
plugins to connect with the UI.

Change-Id: I71f374d7231859dc1ed7d8a0df27759dbfc1315f
6 files changed