First version of automated deployment tool

The Gadgetize.php maintenance script makes it easier to deploy a set of
source code files to a MediaWiki installation.

Change-Id: I3a06c4305253ffab0e076b8360b15600618d09df