GitLab

If the last-modified date for any of the sources is higher than the
last-modified date of the JAR produced by maven, then a warning will be
emitted to make sure the user is aware that her/his changes may not be
in effect.

This modification also fails silently, e.g. if `find` is missing, or if
the user doesn't have the right version of `stat` to support the printf
flag.

NanoDB client now supports shell commands of the form \cmd, which are
handled within the InteractiveClient, not by the server.  There are two
commands:

\help prints out useful help information

\source filename.sql will run all commands contained in the file
filename.sql

There are surely interesting wrinkles to iron out.  For example, if the
sourced file contains an "EXIT" command then it will exit the client.
Also, an error should probably terminate the evaluation of a sourced
file, but currently it does not.

The nanodb.bat file now behaves in the same way that the *nix nanodb
script works, so that NanoDB can be started from the Windows cmd shell.

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.