Revert "ivory-tower-freertos: Add missing files to cabal project."
Revert "ivory-tower-freertos: Add missing files to cabal project."

This reverts commit 720af66f5e3b79dde63d4babc5a7a26218fa40f0.

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