Do not print version info when linking using Visual Studio#2384

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:quiet-vstautschnig/cbmc:quiet-vsCopy head branch name to clipboard