travis config: get arm-none-eabi gcc from launchpad, add to path
ivory-bsp-stm32: i2c driver typechecks