build: add frama-c target.
build improvements (new target, parallel):
  * finish adding frama-c target
  * make C build parallel (after ivory generation)
  * formatting wibbles.
build: formmating wibbles, dead targets.
build: make frama-c for flight, bsp-led-test (small example).
build: build system notes.