OpenGLL Additions
Merge remote-tracking branch 'origin/Bryce' into Bryce

Conflicts:
	RASS 3.0/Debug/vtdemo.log
	RASS 3.0/VerificationView.cpp
	RASS 3.0/vtdemo.sdf
	RASS 3.0/vtdemo.v11.suo