Rollup merge of #149989 - Urgau:filenames-post-improvements, r=davidtwco

Improve filenames encoding and misc

This PR is a follow-up to rust-lang/rust#149709, it aims at preventing a double encoding when there are no remapping, as well as making some small improvements to the code.

Best reviewed commit by commit.

Author: matthiaskrgr