‘Seventh Python’ has the last laugh with victory in battle over Spamalot royalties