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.