Add vscode plugins for PPJ, FP

roles/vscode/tasks/vscode_extensions.yml

@@ -13,6 +13,8 @@ VSCode_Extensions:
   - stonebuddha.vscode-better-sml
   - vscode-icons-team.vscode-icons
   - vscjava.vscode-java-pack
+  - shd101wyy.markdown-preview-enhanced
+  # - oracle.oracle-java
   - dan-c-underwood.arm # RA-63703
   - marus25.cortex-debug # RA-63703
   - NateAGeek.memory-viewer # RA-63703
@@ -20,4 +22,6 @@ VSCode_Extensions:
   - platformio.platformio-ide # ORS-63218
   - stmicroelectronics.stm32-vscode-extension # RA-63703
   - danielpinto8zz6.c-cpp-compile-run
+  - danielraggi.sml-environment-2024
+  - ocamllabs.ocaml-platform
   # - vadimcn.vscode-lldb