Remove devtools.yml

The "devtools" module was marked as not to be converted in our tracking
table by Ladislav Slezák.