tower-frontend: support outputing artifacts into the dep file
tower-frontend: support outputing artifacts into the dep file

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