tools: Remove unused dev tools