Version 0.7.2

This is a maintenance milestone, with
no new features.

Tests have been added for much of the
server-side code, and the code files
themselves have been rearranged.

An important defect was fixed in the
processing queue.