We should use the sbt version in project/build.properties rather than hardcoding.  This fixes
the wiring of sbt version through to the properties file generation.