command line switch -vv added
function "save_string_to_file" moved to Tools
function "array_drop" moved to tools.ml
Some out-commented debug-prints activated for -vv option.
Code cleaned and refactored, Indentation corrected.