Build properties: now the build requires SBT version 0.13.5.