Ds config

Pulls two configuration settings into build.properties.  This allows us to hide only /build.properties and /dspace/config/dspace.cfg from Git.