Bump the version number to 0.5.1.

Two bugs were fixed:
- Writing new files on Linux failed because the UID generator used
  /dev/random, which is a blocking device on linux, causing IO failure.
- The locale timezone offset from UTC on Windows had a roundoff error.

Build system fixes:
- Fixed several minor issues related to transitive linking of libraries.
- Added manifest to the java jar file.

Enhancements:
- Add Matches() routine for query matching on values (work in progress).