Adds BertrandBordage to AUTHORS.