Renamed fragment library names to be manageable.
Use JSON instead of GOB for fragment libraries.

It just makes more sense for them to be in a nice portable format.
Opening and saving fragment libraries does not need to be fast.