Adding dummy test in  opennwa::query
Added unit tests to check reachability and shortest path values in an NWA after the analysis.
Added functions which, given an NWA, return the NWA which is the result of applying the quotient operation on the given NWA
Moved DisjointSets.hpp from AddOns/Xfa/Source/wali/util  to Source/wali/util
Implemented the quotient() function
Modified the implementation of quotient(). Now the quotient NWA has newly generated states provided by the statesQuotient() function for each representative state from the partition map . This function will be overridden to handle the merging of client infos.
- statesQuotient() takes a set of states belonging to an equivalence class in the partition on the given NWA instead of a disjoint set and an iterator pointing to the equivalence class.
- Some refactoring done and added some comments.
Added unit tests for quotient operation on NWAs
Fixed a typo.
- Added quotient.hpp to constructions.hpp
- Uncommented the call to setClientInfo() and added some comments
Added a check in merge_sets(first, second) which ensures that if first == second then the element first should exist in the map
Removed Partition.cpp from Xfa build.
Minor formatting changes to quotient method.
Minor formatting change.
Merge branch 'dv'
Merge changes from dv branch.

Added quotient method.