--outer-module not tracked for empty parent modules

[robin-aws]

Follow up from #5679 (comment)

Translation options are not tracked for empty module in translation records (*.dtr files) because one library could include module A.B { ... } and another module A.C { ...}, and Dafny allows this in general. But these libraries could also specify different translation options, which would then conflict for A.