Add back --readable-names flag

By default hygiene gives all bindings a new name with _<number> appended to it. In most cases you can just drop the unique suffix; it is only needed in cases where multiple bindings with the same name mix. In pre 1.0 the --readable-names flag did this.

Adding it back now is probably much easier with the Shift scope analyser.