Implement and use _needs_mul_brackets.

This is used to determine if a term appearing in a Mul needs to
have surrounding brackets or not.
Some simplifications and comments.
Use mul_symbol instead of a space as separator.
Render the allowed numer/denom ratio for long fractions customizable.
fold_short_frac defaults to True for inline and False otherwise.