Revert commit #46df5c0f.

The deleted file GNU_General_Public_License_v2.0.html is redundant with
the already present LICENSE file.