TRIVIAL: adding Travis badge

[ci skip]