Saudi Arabia executes dance troupe attacker

November's attack on performers took place as the country eased restrictions on public entertainment.