«El día del Doctor» - la película sobre el serial