Improved isLoop() performance by using a bloom filter to avoid iterating
though the action list.  A simple test shows improvements in 20%.
Now the grammar generation only takes into account module calls that are part
of the contract.

Conflicts:
	src/gluon/AnalysisMain.java
	src/gluon/analysis/programBehavior/BehaviorAnalysis.java
	src/gluon/analysis/programBehavior/ClassBehaviorAnalysis.java
	src/gluon/grammar/CfgOptimizer.java
Removed temporary block of code that should have been removed in
6ae04118f523e197a5a55b277b1cf6bd999e97d7.