Moved the Pike profiling information to a separate action. Rev: server/config_interface/actions/debug_info.pike:1.33 Rev: server/config_interface/actions/pike_profiling.pike:1.1