Added directory for properties files in domworld

Tweeking changes to other settings in SmallDomWorld and
DomWorldStateMachine