Omit empty modules when translating to Go#5766

robin-aws merged 6 commits intodafny-lang:masterdafny-lang/dafny:masterfrom

robin-aws:omit-empty-modules-when-translating-to-gorobin-aws/dafny:omit-empty-modules-when-translating-to-goCopy head branch name to clipboard