Global vars handled + output of the problem not using svalue anymore (by using get_default_state(region *))

Modified the deletion of the taint in case of pointers being assigned public values after being tainted.

Though a different way to do it have to be explored by relying on the non cleaning of the state machine's map.

This could probably be optimized as the current image's size is almost 15GB.
Added:
  - Dockerfile: a symlink to ./docker/Dockerfile
  - docker/Dockerfile: the actual Dockerfile
  - docker/build_docker.sh: a script used to tune the building of the image
Modified:
  - scripts/copy_analyzer_header.sh: can now take as second argument the path to gcc's source directory

Handling cases where rhs is not tainted yet but has the tainted attribute (cf. test/constant_time/intraprocedural/ptr/ptr_uninit.c)