A number of correctness tests are contained in the TestHeapTableFormat
class.  The tests are activated in the Maven test configuration.

Added the designdoc and logistic info documents in a new directory.

The Buffer Manager concurrency test wasn't closing the data files it
created, so they couldn't be deleted during the cleanup phase on
Windows.  This caused test failures on Windows but not on *nix.

Somehow when upgrading the NanoDB parser to ANTLR4, I forgot to include
the SHOW STATS command.  This is essential for the storage lab, so of
course I added it back in as quickly as possible.

Updated the nanodb script to properly handle being run under Git Bash.
Needed to wrap the Java program with "winpty" when starting it from Git
Bash.

Also updated the Surefire configuration to not require all tests to pass
before building a JAR file.  There are a few tests that aren't working
on Windows due to file-locking differences from *NIX.

Some tests were failing on my box because I've got my locale set to
Portuguese; this shouldn't be an issue, since the NanoDB tests are
explicitly written in English. In order to fix Date parsing language-
agnostically, I just explicitly set the locale to `Locale.ENGLISH`.

The Buffer Manager wasn't tied into the property-registry mechanism,
so it wouldn't notice when the page-cache size was changed.  This is
now hooked together with a property-observer interface.