Improved the rendering of mfrac.

We now give the dividing line some width (unless the user manually
specifies some) and make it a bit wider (so that it looks nicer).
Slight improvement to the binomial coefficient formula.