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