ivory-bsp-stm32: wibble rename main to main_proc
ivory-bsp-stm32: wibble rename main to main_proc

- getting up in ghc's namespace

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32