Install Debian Runtime: Make it possible to update the runtime

[probonopd]

Install Debian Runtime: Make it possible to update the runtime (by downloading a new image and replacing the old one). Currently one has to do:

sudo service debian stop
sudo rm /compat/debian.img

and then run the Install Debian Runtime utility. Instead, we should ask the user whether we should do this, and then do it.