added http://travis-ci.org badge