Update and rename userexport.php to UserExport.php

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