Restore the last used activity.

Also improves initialization: When no activity is to be restored,
the loading of the marble widget starts soon after the activity view
is displayed (and not when activating an activity as before).