Dirac's cosmology with varying cosmological constant