To celebrate Halloween, we discuss haunted theatres around the world and theatre ghosts.