moved taint-related tests for goto-analyzer into separate subdirectory#1448

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

goto-analalyzer-taint-testdiffblue/cbmc:goto-analalyzer-taint-testCopy head branch name to clipboard