tower-frontend: add support for platform polymorphism
tower-frontend: add support for platform polymorphism

interface is a lil messy at the moment, will work on it later

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