BBC finally announced the actor who would play the 13th Doctor, taking over the role from Peter Capaldi at Christmas. For those who want to find out – or just...