Code highlight plugin improved (Codemirror used); Article JS resources are now JS-batch loaded