Simple BASH-based radio player for the Norwegian radio NRK