added support for Super Dev Mode using GWT > 2.5.0

Super Dev Mode works with GWT > 2.5.0, but only 2.5.0 was allowed. A more generalized version check is used to ensure compatibility now and in future versions.