Use new attributes syntax in properties.rs
auto merge of #2279 : Manishearth/servo/patch-3, r=jdm