Started adding the PriorityStrategy class
Added PriorityStrategy.java
Merge branch 'master' of https://github.com/kframework/k
Removed new strategies from SymbolicRewriter for now
Merge branch 'master' of https://github.com/kframework/k into strategy_branch
Modified the priority strategy
Updated strategy framework, and integrated it into search
Added composite strategies
Fixed merge conflicts for SymbolicRewriter.java
Removed uneeded imports
Fixed a bug with searching infinitely if we applied structural rules
Modified the strategy infrastructure and added PriorityStrategy and composite strategies.