UUIDs for file format, completely new database format

The database format now uses JSON, so it should be easily parsable for
websites, unlike the previous format. The file format only changed the
file names.

No conversion from the old format is included at the moment, this will
be added soon (before any releases to BukkitDev).