Consistency check for R\lim in D(X)

Just making sure that the two notions of R\lim really agree. The
argument seems quite general...
Starting to write about derived complete complexes