Add the ability to manage [theme] in gerrit.conf.