Added -start and -stop options to census2.CLI.
Improved logging in census2 and made LogManagers class-level.
Made Results.fromXML(File[]) remove results for redundant SCOP Ids, and
made it set the mean time taken. Added -reverse and -names options to
census2.CLI.
Made ScopSupport.getAllDomainsUnder attempt to read results in
resources/scop_domains, greatly enhancing performance.
Wrote census2.utils.CensusChecker, which looks for extra and missing
SCOP Ids.
Made AlignmentMapping replace ">" with "-" from
to/fromConciseAlignmentString in the XML. Prevents escaping,
significantly reducing file size.
Wrote symm.census3, which will probably exist alongside census2 for some
time.