Added remove_double_negative

Updated correct_rules so that it would remove double negatives.  Also
extracted some useful functions into TranslateUtils