https://github.com/efabless/caravel_user_project_analog/blob/main/verilog/dv/README.md : Missing check which dependencies are already installed

[tatzelbrumm]

In

Then, run the following:

# packages needed:
sudo apt-get install autoconf automake autotools-dev curl libmpc-dev \
    libmpfr-dev libgmp-dev gawk build-essential bison flex texinfo \
    gperf libtool patchutils bc zlib1g-dev git libexpat1-dev

no consideration is taken that reinstallations of packages may have side effects, so a prior

apt list autoconf automake autotools-dev curl libmpc-dev \
    libmpfr-dev libgmp-dev gawk build-essential bison flex texinfo \
    gperf libtool patchutils bc zlib1g-dev git libexpat1-dev

needs to be added to the README.md to prevent unneccessarily touching packages that are already installed.