Implemeneted ModifyAttribute handler to update DOM elements.
auto merge of #4214 : jdm/servo/modifyattr, r=jdm

Rebased from #4197.