More operations on lists

Hi all!

Total Idris newbie here. I added two functions I like from Haskell Data.List, although I am not sure if you want to include all functions from HS Data.List in the Prelude. I looked after a Data.List in Idris but I found none.

What is your opinion about this? (Please be careful about saying yes because I will keep PRing :D)