HTML5 audio tag may be used but different browsers support different audio formats. So to cover all browsers an .mp3 and .ogg and a file link to each song is needed.
Conversion
OpenBSD: Use ogg123 (part of vorbis-tools package), mpg123 or mpg321 and lame for file conversion.