XWIKI-8714: Allow the customization of the xwiki.properties file with extra settings at build time
Done.
(cherry picked from commit f6102931ee5102c827d49f32343e51746593ba6c)