Add support for S3 bucket as source for anod#669

Nikokrock wants to merge 1 commit intoAdaCore:masterAdaCore/e3-core:masterfrom

Nikokrock:mr/e3_vcsNikokrock/e3-core:mr/e3_vcsCopy head branch name to clipboard