See http://hsyl20.fr/home/posts/2018-01-15-ghc-hiding-source-and-object-paths.html . Makes ghc build output look much nicer.

I see no strong downside, can probably be re-enabled with -fno-hide-source-paths. So, it should come before user-provided ghc-options.