Suggestions to #docker_setup.md

## Step 2
For step 2 it might be easier to follow (espcially if one want to download the repo manually) this way:

### 2.1 Clone the Repo
Clone the repository and put them in the right places:
```
git clone https://github.com/lorint/AdventureWorks-for-Postgres.git
````
You can download the repository manually rather than via git, from [here](https://github.com/lorint/AdventureWorks-for-Postgres/archive/refs/heads/master.zip). You should download the .zip file to your working directory, and unzip manually:
```
unzip
mv AdventureWorks-for-Postgres-master AdventureWorks-for-Postgres
```

### 2.2 Download the OLTP script
Go in the folder `AdventureWorks-for-Postgres` and download the files you need[^1]
```
cd AdventureWorks-for-Postgres
wget https://github.com/Microsoft/sql-server-samples/releases/download/adventureworks/AdventureWorks-oltp-install-script.zip
mv AdventureWorks-oltp-install-script.zip adventure_works_2014_OLTP_script.zip
```
[^1:] wget is a common command-line tool (but separate from the standard Unix shell tools): you can get it for Windows from [here](https://gnuwin32.sourceforge.net/packages/wget.htm); on MacOS, you can [install it via Homebrew](https://formulae.brew.sh/formula/wget).