SQL schema: merge dir entry arrays into directory

This removes tables directory_list_{file,dir,rev}, and add corresponding
arrays {dir,file,rev}_entries to the directory table, which was just a
set up to now.

Indexes migrated accordingly.