Use correct integer division

Without this, we get the following on Python 3:

    return '%s%*s' % (markup_fn(text), pad_len, '')
    TypeError: * wants int

cdiff.py

@@ -508,7 +508,7 @@ def _fit_with_marker_mix(text, base_color, width, pad=False):
                 # [terminal size minus the line number columns and 3 separating
                 # spaces
                 #
-                width = (terminal_size()[0] - num_width * 2 - 3) / 2
+                width = (terminal_size()[0] - num_width * 2 - 3) // 2
             except Exception:
                 # If terminal detection failed, set back to default
                 width = 80