Allow user to specify destination file. Keep --stdout argument for backwards compatibility, identical to using --output /dev/stdout
Allow user to specify destination file. Keep --stdout argument for backwards compatibility, identical to using --output /dev/stdout

EricssonResearch/calvin-base,EricssonResearch/calvin-base,EricssonResearch/calvin-base,EricssonResearch/calvin-base