Move tools for SMT interface and symbolic execution from tutorial to main tool directory

[didriklundberg]

SMT interface and symbolic execution stuff is left in the support and support2 directories of the tutorial. We need to decide where to place these things.

[andreaslindner]

Just a note: these two are a (now not anymore working) copy-fork of the scamv symbexec subdirectory. It should be checked but there should be nothing additional there. I forgot why I needed to copy it at the time.

[didriklundberg]

Just a note: these two are a (now not anymore working) copy-fork of the scamv symbexec subdirectory. It should be checked but there should be nothing additional there. I forgot why I needed to copy it at the time.

Good to know.