Add include filtering of source code files

[Yiannis128]

Add an option "clean_includes": true/false

#include preprocessor statements should remove lines with the following:

• stdio.h

According to @rafaelsamenezes, ESBMC doesn't support 64-bit var-args. So stdio needs to be optionally automatically filtered as it contains that logic.