Add support for named deleter

Closes #4469.
auto merge of #4483 : brunoabinader/servo/named-deleter, r=Ms2ger

Closes #4469.