Plato 0.8.5

The metadata format has changed, manual intervention is required:

• Rename .metadata.json to .metadata-old.json.
• Run the attached python script: ./migrate-metadata.py LIBRARY_PATH/.metadata-old.json > LIBRARY_PATH/.metadata.json.

Overview of the changes:

• Multiple libraries can now be defined (in Settings.toml). The default libraries are On Board and Removable. You can remove the definition for Removable if you don't have a device with a card slot. If you have a very large library, you might set the library mode to filesystem instead of database, in which case .metadata.json will not be used and all the operations will rely on the filesystem and the reading states.
• The reading states are no longer saved in .metadata.json but in individual files in the .reading-states directory.
• Plato no longer uses the file path as an identifier, but now relies on a custom fingerprint based on the file metadata. As a consequence, you can now freely rename and move files around. You can also overwrite an existing file as long as the path remains unchanged.
• The summary bar was replaced with the navigation bar. Instead of displaying categories, the bar now displays directories. The navigation bar is optional and disabled by default. You can enable it by swiping from the top bar to the shelf, and disable it with the opposite gesture. Another optional bar was added: the address bar.
• The launch scripts now set the framebuffer depth to 8. To do so, we rely on fbdepth, provided by FBInk.
• You can now choose what to display in the shelf's first column. This is mostly useful for the filesystem mode.
• The home view now has arrow gestures: west/east to go to the first/last page; north to set the current directory to the library's path; south to toggle the search bar.
• You can jump to a random page by specifying _ as the page number.