ivory-bsp-stm32f4: move example programs into separate cabal package

* this way we can update a single executable and not force a rebuild
  of flight, etc