use MySQL DB for igor_cost experiments
SummarizingMetric: add 'pretty' print function
intsort (hand-only so far)
igor_cc fix