chore(.travis.yml): compile .lean to .olean and upload to dropbox