Added Travis CI badge (to michalc repository)