ICAnalysisOptions and InterCFG

enabling of static analysis options is now handled in own interface ICAnalysisOptions
restore InterCFG functionality from WriteCFG branch (see pull request 22); had to be done manually here, since I didn't apply the pull request first :(.