Update arm/arm_semantics.fst, arm/arm_semantics.fst~, arm/shift.fst.checked, arm/valid.fst, arm/valid.fst~, arm/Words_t.fst.checked, arm/arm_semantics.fst.checked, arm/valid.fst.checked, arm/arm_def.fst.checked, arm/arm_def.fst, arm/arm_def.fst~, arm/jump_to_cpu.fst, arm/jump_to_cpu.fst~, arm/properties.fst, arm/properties.fst~, arm/shift.fst, arm/shift.fst~, arm/Words_t.fst, riotboot/fletcher32.fst, riotboot/fletcher32.fst~, riotboot/fletcher32.Tot.fst, riotboot/fletcher32.Tot.fst~, riotboot/hdr.fst, riotboot/hdr.Tot.fst, riotboot/hdr.fst~, riotboot/hdr.Tot.fst~, riotboot/main.fst, riotboot/main.fst~, riotboot/makefile, riotboot/mymain.c, riotboot/riotboot.fst, riotboot/riotboot.fst~, riotboot/riotboot.Tot.fst, riotboot/riotboot.Tot.fst~, riotboot/slot.fst, riotboot/slot.fst~, riotboot/slot.Tot.fst, riotboot/slot.Tot.fst~, riotboot/Fletcher32inC/fletcher32, riotboot/Fletcher32inC/fletcher32.c, riotboot/out/main, riotboot/out/out.krml, riotboot/out/sources/Fletcher32.o, riotboot/out/sources/Hdr.o, riotboot/out/sources/LowFletcher32.o, riotboot/out/sources/Main.o, riotboot/out/sources/mymain.o, riotboot/out/sources/RbComm.o, riotboot/out/sources/Riotboot.o, riotboot/out/sources/Slot.o, riotboot/out/sources/compile_flags.txt, riotboot/out/sources/Fletcher32.c, riotboot/out/sources/Fletcher32.h, riotboot/out/sources/Hdr.c, riotboot/out/sources/FStar.h, riotboot/out/sources/Hdr.h, riotboot/out/sources/LowFletcher32.c, riotboot/out/sources/LowFletcher32.h, riotboot/out/sources/LowStar_Prims.h, riotboot/out/sources/Main.c, riotboot/out/sources/Main.h, riotboot/out/sources/Makefile.basic, riotboot/out/sources/Makefile.include, riotboot/out/sources/RbComm.c, riotboot/out/sources/RbComm.h, riotboot/out/sources/Riotboot.h, riotboot/out/sources/Riotboot.c, riotboot/out/sources/Slot.c, riotboot/out/sources/Slot.h, sourceC/cpu.h, sourceC/flashwrite.c, sourceC/flashwrite.h, sourceC/fletcher32.c, sourceC/fletcher32.h, sourceC/hdr.c, sourceC/hdr.h, sourceC/main.c, sourceC/slot.c, sourceC/slot.h, README.md files