#201 Rename server setting properties
New names for the properties to configure the configuration directory and filename
Old keys still supported as fallbacks.
#201 Rename server setting properties
Improved log for when there is no configured directory in server context.
#201 Rename server setting properties
changed context.xml to work with default values and not with some Dev-VM specific configuration directory.
Merge branch 'feature/201-rename-server-setting-properties' into develop