Rename Special:RandomInCategory to Special:RandomPageInCategory

I stole this extensions special page name for a core feature, so
I guess I should rename it here to prevent conflicts.

See https://translatewiki.net/wiki/Thread:Support/About_Special:RandomInCategory

(Note there is a difference between this extension and the core
feature, namely this extension gives much more random results
in exchange for heavier performance cost. So its not exactly
replaced by core functionality.)

I suppose it could use SpecialPage_initList hook to check if
the core page is loaded, and still load the old name for
old versions of mediawiki. Seems easier just to tell people
to use the branched version of this extension.

Change-Id: I52e9b1da3ca91ca611dc3ca50d0c75f2cd94c4e6
Localisation updates from http://translatewiki.net.

Change-Id: Ia271d6358ad3da783d1e226727da8acda75017b1
Localisation updates from http://translatewiki.net.

Change-Id: I8c01bc39587fb89828bea97a32676332ce832ab6
Localisation updates from http://translatewiki.net.

Change-Id: I620f538f4a74d2c06de02468bd41949a5fd3d66d
Localisation updates from https://translatewiki.net.

Change-Id: Idab82620360323e1c4dbd5c2b6db49e21e98a961
Localisation updates from https://translatewiki.net.

Change-Id: I3bf240ac71f0430c2d30199f30d436d4e7d3205f
Localisation updates from https://translatewiki.net.

Change-Id: If7bfb4fd0bf03d8e45175d2dd3184a664cd5061e
Localisation updates from https://translatewiki.net.

Change-Id: I8c8716158f51a814272fd2b6f2cfac8e1b512795
Localisation updates from https://translatewiki.net.

Change-Id: Id02af269a432c8eed07ff2d7c75b5bf935254aa7
Localisation updates from https://translatewiki.net.

Change-Id: I8bf6e7e104352762c10e820536c10072691f2367
Localisation updates from https://translatewiki.net.

Change-Id: I31a782a56e3879a6785f1699d3954e81b954f913
Localisation updates from https://translatewiki.net.

Change-Id: If56ca1f95a459c823f00794e489e6163d9a465bf
Localisation updates from https://translatewiki.net.

Change-Id: I0e6a6632db042c3c17354250ea56ba7f32930b10
Localisation updates from https://translatewiki.net.

Change-Id: I427477a010db41dc4a376d8ed4684293f3e09403
Localisation updates from https://translatewiki.net.

Change-Id: Ic3a9501b0f359bbf78d9ea8f2d3844d353d9836c
Localisation updates from https://translatewiki.net.

Change-Id: I0a318c682180f4045c246852efedd6266c64f74a
Localisation updates from https://translatewiki.net.

Change-Id: I353a3c48225c7b5f387682415eaf601c121475c4
Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Ia6a65c1f9e0de07e08d1575002cb75ad2dfd0306