apps: bsp and led test can completely deprecate freertos startup files.
ivory-bsp-stm32: wibble rename main to main_proc

- getting up in ghc's namespace
ivory-bsp-tests: all switched to init with tower