「マギアレコード」マンガ化、ゲームで展開されている「まどか☆マギカ」外伝