Atari-5: Distilling the Arcade Learning Environment down to Five Games