Add the id even on short names

I think this commit got reverted ( I'm not sure when and why). Without it graphs produced with pydotprint might be extremely misleading.

Add the id even on short names
35dabf14 · Razvan Pascanu · 90beebe3 · 35dabf14
--- a/theano/printing.py
+++ b/theano/printing.py
@@ -524,6 +524,8 @@ def pydotprint(fct, outfile=None,
            idx = ' id=' + str(len(var_str))
            if len(varstr)+len(idx) > max_label_size:
                varstr = varstr[:max_label_size-3-len(idx)]+idx+'...'
+            else:
+                varstr = varstr + idx
        elif len(varstr) > max_label_size:
            varstr = varstr[:max_label_size-3]+'...'
        var_str[var]=varstr