(finally) adding a Travis status badge