Doctor Who Series 9 starts here, with this prologue to episode 1.