Added @rochacbrun to the AUTHORS file. #692