trying to get CI working
Merge branch 'devel' of github.com:getlantern/lantern into devel