Added (partial) Travis-CI Support

This is more intended as a discussion rather than necessarily merging as soon as possible, as we need to come up with a way of getting ARMCC to install nicely on Linux so that the compilation can be tested with that. At the moment, there's only GCC support.