Record user download preferences and record metrics

[briri]

If a user token is available we need to record all of the formatting settings specified.

Regardless of whether a token is present, we also need to record the download in the metrics table.

This requires that the backend repo ticket to create the related tables