"Batman Ninja" is the first Batman to Become a Stage Play