Add bio of Gabriel Devenyi
Merge pull request #491 from gdevenyi/addgdevenyibio

Add bio of Gabriel Devenyi