#10 Remove copyrights that aren't correct

Since those 3 files now contain code completely written by us, we can
remove the GPLv3 license for them and can happily report that those 3
files join update.php as MIT-licensed files. :)