added DemOS platform name.
Merge remote-tracking branch 'hasadna/master'