Remove Visual Studio 2013-specific code#3965

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs2013-cleanuptautschnig/cbmc:vs2013-cleanupCopy head branch name to clipboard