The musical of “Coraline” follows not just Gaiman’s 2002 novel, but also a 2008 graphic novel by Gaiman and P. Craig Russell, and the Focus Features film, released earlier this year.