Fixes #13: update notification system: regularily check for app updates and emit a notification if there is any