Is the Karma running via Travis? #4