Add Idris Adeniyi to Contributors list

Created by: Idris-lang-netizen

Contributors.md

@@ -537,6 +537,7 @@ Avinash Jha
 - [Melek Msakni](https://github.com/melekmsakni)
 - Michael Lewis @DevSoc
 - [Greg Kurniawan](https://github.com/gregkurniawan)
+- Idris Adeniyi
 - [Ryan Harris](https://github.com/ryanh210757)
 - [Debjyoti Ghosh](https://github.com/is-this-echo)
 - [Lakshan Perera](https://github.com/0xluckycode)