Travis status badge (which is the only real reason to use Travis, right?)