Updated profiling dockerfile to correctly generate profiling symbols for all haskell libraries and K3-Core.
Updated profiling dockerfile to correctly generate profiling symbols for all haskell libraries and K3-Core.

DaMSL/K3,yliu120/K3,DaMSL/K3