I'd look at a Rasberry Pi for this round.

But why stop with only a GIF player? Some players will loop on other video types.