sphinx: add the crudini tool

so we can easily manipulate the .mrconfig file (ie. delete unwanted sections).