Move dev tools in contribs

Right now, we have both "tools" and "contribs", but dev tools are kind of contribs mostly