speed up rule extraction by factor 2 (by rewriting rule consolidation to have linear instead of quadratic complexity)
-print-id for christian buck and phi
distinct nbest works the old way
distinct nbest works the old way
merge with master