added possibility to reorder tabs
fixed sizing of codemirror div, to avoid useless scrollbar
improved behaviour when deleting a single line in codemirror using keyboard shortcut