Implemented WitnessLengthWorklist

Heuristically propagates shorter witnesses during poststar
Merge branch 'master' of git://github.com/WaliDev/WALi-OpenNWA

Conflicts (resolved):
	Source/wali/graph/RegExp.cpp
	Source/wali/wfa/WFA.hpp
Merge branch 'master' of git://github.com/WaliDev/WALi-OpenNWA
Try merge (again) of JAM-related development.

Git is damnably confusing.

Conflicts:
	Source/wali/graph/RegExp.cpp
	Source/wali/wfa/WFA.hpp