Dinosaur Planet is the space dinosaurs vs. giant robots rock opera you’ve been waiting for