add a note about Z3's license