Fix #3933
auto merge of #3938 : guillaumebort/servo/fix/3933, r=jdm

Implement HTMLOptionElement.{label,value}