add debian (ubuntu precise) repo update instructions