As far as I see Synthesia doesn't come with an arrangement of Hallelujah, so probably the author of the video imported one he found elsewhere. There are lots of websites where you can download piano sheet music.
I have a feeling MuseScore can play midi files so that may convert it to a pdf .I have a feeling if the music is at all complicated it makes a pigs ear of it though !