Binsec_base.File_utilsSourceExtra functions over files
load filename return a string with the complete text of the file
copy src dst copies filename src to filename dst
readlines filename return the list of the lines of the complete text of the file filename
has_suffix ~suffixes filenam returns true if filename ends with any of the provied suffixes