New: automatic updates

-Added toolbar option to turn on automatic updates

-Moved updateVerovio code to separate function, added hook to PageEdited event to trigger as well.