Add a BinaryFlumpLoader in the spirit of the JsonLoader, but from a binary format.

The LibraryData class captures that binary format and provides the mechanisms for converting back and forth between Json and the binary. The ConvertFlumpLibsToBinary tool can be executed to convert existing library.json files into library.bin files.