Disable symex tests, which are broken on Appveyor#1377

reuk wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/disable-symex-testsreuk/cbmc:reuk/disable-symex-testsCopy head branch name to clipboard