Parse platform headers

compiler/load/src/docs.rs

@@ -1012,6 +1012,13 @@ fn parse_header<'a>(
             ident_ids_by_module,
             module_timing,
         )),
+        Ok((ast::Module::Platform { header }, parse_state)) => {
+            todo!(
+                "TODO implement docs for platform with {:?} and {:?}",
+                header,
+                parse_state
+            );
+        }
         Err((fail, _)) => Err(LoadingProblem::ParsingFailed { filename, fail }),
     }
 }