Added reloader
Splint example

--HG--
rename : 2_deducing/splint/doit.sh => 2_deducing/staticanalysis/splint/doit.sh
rename : 2_deducing/splint/test.c => 2_deducing/staticanalysis/splint/test.c
Minor fixes
Refactored the source example

--HG--
rename : 2_deducing/dd/source/isolate.py => 2_deducing/dd/source/test.py
Moved
Added gcc in staticanalysis