Remove mutant integration

[mbj]

• Mutant now has its own config file, so no need to include it in devtools.