GHC API: Using runGhc twice or from multiple threads?