Coraal player

An alternative player for files from the CORAAL archive.