Minor cleanup and changes such as: 	- Changed text of action nodes to show "Action N" and not "Element N" 	- Eliminated comments for every action node indicating the number 	- Warning now correctly shown when Concuerror is stopped and there is no 	  result for the branch it was exploring 	- Added "vee" edge
Minor cleanup and changes such as:
	- Changed text of action nodes to show "Action N" and not "Element N"
	- Eliminated comments for every action node indicating the number
	- Warning now correctly shown when Concuerror is stopped and there is no
	  result for the branch it was exploring
	- Added "vee" edge

dsmccain/viconc