Add Marc Diethelm to the AUTHORS file