add Travis CI status badge; closes #17