Fix NumberFormatException in PersistentBinaryDeque.

Don't assume that the files will have the same nonce, break the filenames apart
before checking on the components of the filename.
ENG-4432: Fix extension check in PersistentBinaryDeque.
Disable in-procedure planned adhoc statements by default.  Add a
command line switch to the client to allow them to be turned on.
ENG-4432: Fix PersistentBinaryDeque name parsing to allow '.' in nonce.
ENG-4432: Improve fix readability per Izzy's review comment.
Merge pull request #404 from VoltDB/ENG-4432

ENG-4432: Fix NumberFormatException in PersistentBinaryDeque. r=izzy
Update doc PDF files.
Cross-reference git branches with Jira issues.
Update version string to 3.1.
ENG-4292: Add ability to generate human readable diff from CatalogDiffEngine.
Needs more detail in the diff.
Needs to be hooked up to VEM.
Merge remote-tracking branch 'origin/master' into ENG-3153-liveschema