13B Milestone

This marks the completion of the 13B Milestone and its first release.
Many of the initial bugs with the system have been worked out, and the
tool may now be usable by most of the people who would like to try it
out.