dspace.cfg: Enable useProxies

We operate DSpace behind nginx (for easy vhosts and TLS termination),
which means Tomcat never sees the original requestor's IP address.

Sadly, this means all our traffice for the last ~3 years doesn't
have geographic information associated with it.

Signed-off-by: Alan Orth <a.orth@cgiar.org>
xmlui: Add new ILRI theme based on 4.2 Mirage

For now it's just a literal copy of Mirage from the DSpace 4.2 tree:

    cp -r dspace-xmlui/src/main/webapp/themes/Mirage/ dspace/modules/xmlui/src/main/webapp/themes/ILRI-new

Signed-off-by: Alan Orth <alan.orth@gmail.com>
xmlui: Point to correct ILRI-new.xsl

Signed-off-by: Alan Orth <alan.orth@gmail.com>
xmlui: Modify header link in ILRI-new theme

Signed-off-by: Alan Orth <alan.orth@gmail.com>
xmlui: Only display profile information in header if authenticated

Bringing functionality / layout of old ILRI theme into ILRI-new.

Signed-off-by: Alan Orth <alan.orth@gmail.com>
xmlui: Hardcode Google Analytics UA in ILRI-new

Signed-off-by: Alan Orth <alan.orth@gmail.com>