Phil here from the team at Installatron.
I can confirm these files were left behind by the WordPress 5.1 upgrade process. They’re present in WordPress versions up to and including 5.0.3.
Installatron’s update routine has been amended to clean up these files. If anyone has questions please open a support ticket:
https://installatron.com/tickets
Thanks!
Phil