added help to CBMC analyses configurations