No longer used
Merge branch 'devel' of github.com:getlantern/lantern into devel