Add $wgUserMergeEnableDelete configuration option

Allows a wiki to disable the functionality of user deletion,
while still allowing users to be merged.

Change-Id: I63a410cb317b66ac7b03a5c9473bc9f5159155b6