Update for requires clause tested #14

Have now tested this update to the requires clause by running it through
the full Whiley verification suite.  This seems to work and cut in half
the time needed to complete the suite.  Quite a surprise, actually!!

Author: DavePearce

config.xml

@@ -1,4 +1,4 @@
 <project name="BuildConfig">
-  <property name="version" value="0.4.1"/>
+  <property name="version" value="0.4.2"/>
   <property name="WYBS_JAR" value="lib/wybs-v0.3.34.jar"/>
 </project>