Add a Travis badge

[noci]