Added sources and headers

.gdbinit

include/SRP_dummy.h

include/Trace.h

include/dwt.h

include/klee.h

include/main.h

include/stm32f4xx.h

include/stm32f4xx_conf.h

include/stm32f4xx_it.h

include/swo.h

include/tiny_printf.h

include/vector_init.h

ldscripts/flash.ld

ldscripts/stm32f4_flash.ld

src/README.md

src/Trace.c

src/dwt.c

src/stm32f4xx_it.c

src/swo.c

src/system_stm32f4xx.c