Update manager (cloned and adapted from mintupdate-debian)