fix documentation of factor_distinct_deg
Merge remote-tracking branch 'martin/flint_docu' into trunk