Added automatic setup for cml-refine.maude when it's located in the Symphony directory