Rename Gerrit WAR that includes plugins to 'gerrit-full-{version}'

It's less confusing to have an explicit name for the Gerrit WAR that
includes the plugins because already from the name of the WAR file it
can be seen whether plugins are included or not.

Change-Id: I0169c388f05c350c97e4573c69aad6a14fe937a0
Signed-off-by: Edwin Kempin <edwin.kempin@sap.com>
2 files changed