cberner redb-1045

The task

The database should shrink its underlying storage file when the database is closed so that unused/trailing space is reclaimed on disk. In other words, after all transactions are finished and the `Database` is dropped/closed, the storage backend length should be reduced to the smallest valid size that still contains…