Convert mediawiki.toc and mediawiki.user to using mw.cookie
* Remove redundant 'path' parameter (handled by mw.cookie)
* Remove redundant 'expires' parameter (handled by mw.cookie)
* Return value for absent cookie is now reliably 'null'.
This changes the cookie name due to mw.cookie adding the standard
cookie prefix. This will cause existing values to be lost. Make
use of this oppertunity to rename some cookie names.
* mw_hidetoc -> {wikiprefix} hidetoc
* mediaWiki.user.sessionId -> {wikiprefix} mwuser-session
* mediaWiki.user.bucket -> {wikiprefix} mwuser-bucket
Bug: T67384
Change-Id: I835063f40f742a56f8d137cbaabc77e51c60a2a9