chore: add new unified repo to library manager (#4357)

Author: koen1711

repositories.txt

@@ -3334,6 +3334,7 @@ https://github.com/ldab/lis3dh-motion-detection
 https://github.com/ldab/u-blox_GNSS
 https://github.com/Leafony/LeafonySTM32
 https://github.com/LeandroLimaPRO/Pressure
+https://github.com/leaphy-robotics/leaphy-extensions
 https://github.com/leaphy-robotics/leaphy-extensions-extra
 https://github.com/leaphy-robotics/leaphy-extensions-original
 https://github.com/lebuni/ZACwire-Library