Updates that don't require manually re-downloading the DMG a la Sparkle

We use to have Sparkle integrated but we had to remove it a one point. It was causing too many problem. Perhaps it was related to the fact that we use Xamarin.

Anyway we could give another try eventually.