Remove manual encodable implementation. Fixes #3425.
auto merge of #3548 : glennw/servo/remove-encodable, r=jdm