chore(travis): upload Lean package to Dropbox