Map of String to String refactored to Properties

Map of String to String and Properties using String refactored to a
PropertiesWorker that uses a PropertyKey as key and a String as value
Merge remote-tracking branch 'origin/db_refactor' into core_refactor2
Last deprecation in ConfigOption removed
Moved states in ProjectFileState to separate enum
Merge remote-tracking branch 'origin/core_refactor2' into db_refactor
Changed some names that were not refactored by Eclipse