Add to AUTHORS

Without actually contributing anything. Yay!