Automatic temp file deletion using atexit

[AWbosman]

We are currently having a lot of vnnlib and yaml files. If we use atexit we can automatically delete them once the verification process is complete.