added travis shield (for the real travis..)