An editor for AROMA files (aroma-config)