Documenting $cfg->cookieprefix in config-defaults.php

Change-Id: I9c6b890c9329b173fa53b6d73e0b5da187cb5d85