Added Philippe O. Wagner to AUTHORS. Many thanks for your contribution!