Fix output of ida test in runtests.jl

Shouldn't be controversial.