ivory bsp: updated for tower platform polymorphism

* doesn't make use of it yet - the platform type remains fully abstract.
  this library will eventaully use class constraints on p (e.g. (STM32F4Plat p))
  to support multiple boards with different clock rates, etc.
flight: add tower platform polymorphism phantom type
rtv: add tower platform polymorphism phantom type