Documentation theme: Add new system option to theme chooser
Add new 'system' option to the theme chooser.
In this way the user will not have to select the theme and the
system will choose it automatically based on the theme of the
web browser
Tested in: Chromium and Firefox in FreeBSD.
Differential Revision: https://reviews.freebsd.org/D41024