prettier printing in MAT_PRINTF
renamed num_diffs to num_double_diffs in make mesa
fixed KF adding/dropping sats :)