Updated server-setup documentation to show how to use the new dboptions config option