mbedmicro/mbed#87 Added some travis support, I hope. Only currently supports GCC_ARM and untested so far...