Rename wrongly named author/winner handles

There were many files renamed in this commit and I hope I got all the
references to the old names changed to the new names. To explain this
commit there were some older entries that had the wrong directory name:
not the surname but something else.

Very possibly there are other directories that need to be renamed and I
am actually aware of one right now but since it's in 2005 (which is
close to being worked on) I am not changing that now but just noting it:
2005/anon should be changed to 2005/anonymous (unless there's a very
good reason I am unaware of). But like I said since 2005 will be worked
on soon I have not touched it.

The Makefiles, .gitignore, the all/summary.txt, years.html and
winners.html files as well as the directories and the files under the
renamed directories have all been updated.

This is a rather big update and it might be that there are conflicts. If
so I will fix them. I will have to update 2005/anon later on to try and
prevent this from happening but very possibly there will be conflicts
here. It's also possible I missed some changes in years.html and/or
winners.html and/or summary/all.txt but I think I got them all. These
should be verified later on.

1990/.gitignore

@@ -1,5 +1,5 @@
 baruch/baruch
-cmills/cmills
+mills/mills
 dds/dds
 dg/dg
 jaw/atob
@@ -10,9 +10,9 @@ scjones/scjones
 stig/o
 stig/o.c
 tbr/tbr
-theorem/fibonacci
-theorem/fibonacci.c
-theorem/sorter
-theorem/sorter.c
-theorem/theorem
+mariano/fibonacci
+mariano/fibonacci.c
+mariano/sorter
+mariano/sorter.c
+mariano/mariano
 westley/westley