Update Blink demo for crazyflie

Demo_Crazyflie_Blink/user_init_pre.sh

 #!/bin/bash -e
 
+if [ ! -d Certyflie ]
+then
+    git clone --recursive https://github.com/adacore/certyflie Certyflie
+else
+    cd Certyflie && git pull
+    cd ..
+fi
+
+
 
 [ -z "$ADA_PROJECT_PATH" ] && \
-    export ADA_PROJECT_PATH=$HOME/GitHub/Certyflie/Ada_Drivers_Library/boards
+    export ADA_PROJECT_PATH=$PDW/Certyflie/Ada_Drivers_Library/boards/crazyflie
 
+# The following will add to ADA_INCLUDE_PATH
 ORCHESTRATOR_OPTIONS+="\
-        --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/types \
-        --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/modules \
-        --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/utils \
-        --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/lib \
-        --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/hal \
-        --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/drivers \
-        --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/modules/mahony \
-        --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/config "
-
+        --with-extra-Ada-code cortex_m_partition:$PWD/Certyflie/src \
+        --with-extra-Ada-code cortex_m_partition:$PWD/Certyflie/src/mahony "