RECODER 0.72 released

More bugs have been killed.

Some user interaction improvements have been added:

• source element end coordinate assignment now works sufficiently well,
• progress listeners can be added to selected services and transformations.

The SOURCERER demo toolkit begins to look beautiful and begins to be useful.