TODO wibbles.
build: pass ghc options.  Used on the BuildBot for -Werror (uh-oh!).
bump stm32f4, gateway submodules.