Comment out unused and buggy code.

Update the comments in source code.

Fix bug introduced when adding support for relaxed datatype model. Code cleanup.

Fix main state machine in flex (states were being pushed without being poped from the stack)

merge

Make the relaxed datatype model a runtime option (off by default)

Add support for relaxed datatype model for array datatypes.

fix bug introduced a few commits ago: do not print the first char ('%') of a direct_variable_c (e.g. skip % in %IW4.2)

fix code generation when dereferencing pointers (ref_to) to arrays (ref_to_array^[5])

Fix bug: set the scope annotation in deref_operators used inside structs

Editing of error message to make it more clear.

Filling of symbol->scope annotation moved from narrow to fill_candidate_datatypes_c (became possible because narrowing of struct, array and symbolic variables is now done directly in fill_candidate_datatypes_c)

fill_candidate_datatypes_c now uses search_varinstance_decl_c instead of search_varfb_instance_type_c (moving towards deprecation of search_varfb_instance_type_c)

Do the full fill_candidate/narrow_datatype algorithm for all fields of a structured variable in the fill_candidate_datatypes_c
Allows us to remove temporary code from the search_varfb_decl_c

Fix bug with multple dereferencing (bool_var := bool_ptr_ptr^^;)