Update Windows dependencies in Compiling.md#1635

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

reuk:patch-2reuk/cbmc:patch-2Copy head branch name to clipboard