move option handling of static analyses to own interface ICAnalysisOptions and restore InterCFG functionality

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 :(.