Update and rename userexport.body.php to UserExport.body.php

Add code from https://www.mediawiki.org/wiki/Extension:UserExport