Configuration improvements

The configuration files look like this right now:

```
<?xml version="1.0" encoding="UTF-8"?>
<config>
    <property name="modules">ElementMinimizer MrowNormalizer</property>

    <module name="ElementMinimizer">
        <property name="keepAttributes.mfrac" />
    </module>
</config>
```