use Properties to configure database

This will allow cloudcoder.properties to be used more easily
from the various data analysis applications.