Merged klee-code with SRP-example

include/stm32f4xx_hal_conf.h

ldscripts/sections.ld

src/_initialize_hardware.c

src/_write.c

src/main.c

src/stm32f4xx_hal_msp.c

system/include/cmsis/cmsis_armcc.h

system/include/cmsis/cmsis_gcc.h

system/include/cmsis/core_cm0.h

system/include/cmsis/core_cm0plus.h

system/include/cmsis/core_cm3.h

system/include/cmsis/core_cm4.h

system/include/cmsis/core_cm7.h

system/include/cmsis/core_sc000.h

system/include/cmsis/core_sc300.h