Avoid forcing file saves for external tool calls by mapping file contents

[carymrobbins]

Related to #406

Having to save sources before invoking external tools is slow and causes problems (like the linked ticket above). It looks like for existing external tools this can be alleviated. For hlint, we can supply the source via stdin, and for ghc-modi we can use the map-file command.