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