Update AUTHORS file with correct list

The previous list was wrongly generated from the git history missing a
couple of original authors. Thanks to Paul Sladen for the hint.