Deprecated $wgUDPProfilerHost, $wgUDPProfilerPort and $wgUDPProfilerFormatString

All can be passed as options to $wgProfiler now.

Change-Id: I49c0a83e0d386be0f66d6703fc358089e4b1f59f
Merge "Deprecated $wgUDPProfilerHost, $wgUDPProfilerPort and $wgUDPProfilerFormatString"