Remove unused files
auto merge of #1291 : sammykim/servo/unused-file, r=jdm