Get rid of "devbox" database and create a way to run the code without wiki specific settings

This pull request is required to create maintenance script that will import ``wikicities`` database on devboxes.

It consists of:

* use ``$wgDevboxDefaultWikiDomain`` when no domain is provided (devname.wikia-dev.com) - defaults to muppet wiki
* add ``$wgDevboxSkipWikiFactoryVariables`` that will disable wiki-specific settings loaded via WikiFactory
* small cleanup of Special_DevBoxPanel and devbox LocalSettings

__Additionally ``devbox`` database will be removed from devboxes__ as it requires extra handling when fresh dump of ``wikicities`` is imported to devboxes. "Features" of devbox wiki will be handled by two aforementioned variables.

Pinging @psychonaut and @owend for review.