quick frontend (app): added AUTO_RESYNC attribute in QuickApp, when set (default) the resync method is called on all widgets automatically: if AUTO_RESYNC is False, frontend must call itself the resync method. This is useful to improve performance, resynchronising all widgets at once may be resource intensive, and it may be more efficient to resync a widget only when it is visible.

# XXX: the Monkey Patch is here and not in src/__init__ to avoir issues with pyjamas compilation
# TODO: remove this when changes are merged in Wokkel
from sat_tmp.wokkel import install
install()