icons, gtk style
fix: eval mark after editing at end of last section
Better behaviour of eval mark when stopping/editing the buffer

won't validate any code that has been modified in the meantime anymore
style ops
Preparing for better lookup of toplevel phrases boundaries

Functions factorised, but not clever yet
Better coloration of toplevel output