Forward-port the Maven definition to use JDK 1.7.

As of 59aaced678, the Process class migrated to using Java Native I/O
StandardCharsets.  This unfortunately broke compatibility with JRE 6.0,
since this class is only available in JRE 7.0 and onward.  Thusly update
Maven model to reflect this.
Merge pull request #26 from arbeitspferde/fix/build/maven-definition

Forward-port the Maven definition to use JDK 1.7.
Instruct build to use JDK7.

The build had been failing due to using language level 1.7, while the
Travis runtime uses JDK6.  In this commit, we pin the Travis settings
to use the newer JDK.
Merge pull request #27 from arbeitspferde/fix/build/jdk-version

Instruct build to use JDK7.
Remove Jawzall in favor of plain ol' delimited.

The standard Protocol Buffer delimited writers and readers will
meet our satisfaction with Sawzall integration; thusly, we can
remove the Jawzall dependency.
Merge pull request #28 from arbeitspferde/refactor/remove_jawzall

Remove Jawzall in favor of plain ol' delimited.
Fix command line test.
Merge pull request #29 from sladeware/fix/memory-allocation-pool-test

Fix command line test
Explicit logging for Hypothesizer checkpointing.

We would like better insight.
Drop deprecated checkpoint file field.

This is no longer used by the in-memory data stores nor the externally-
hosted ones.
Merge pull request #30 from arbeitspferde/feature/insights-for-checkpoint

Explicit logging for Hypothesizer checkpointing.
Merge pull request #31 from arbeitspferde/fix/drop-deprecated-field

Drop deprecated checkpoint file field.
Clean up a few warts with logging and presentation.

This commit drops our custom ``Object#toString`` mechanisms in favor
of Guava Objects#toStringHelper, which provides a sane and
stylistically consistent manner for doing this same task.  Multiline
emissions are deleted.

A few member fields are shortened to avoid violating style about
verbose names (think Zipf law).

Some of the fragile tests for stringification are deleted.  No sense
in testing something brittle.

Durations have been enhanced to use Joda Time's automatic humanization.

JvmFlagSet now uses an TreeMap<> instead of sorting on every
presentation.  Not that this behavior is performance critical, but might
as well save the work for an immutable type.
Merge pull request #32 from arbeitspferde/refactor/unify-stringification

Clean up a few warts with logging and presentation.