Optional post attribute `id`.

Implement an optional `id` attribute on posts, that can be used to
override the default feed unique-id generation. Useful if you have
an old feed with a different format of ids, or ever need to rename a
post without it showing up as a duplicate in everyones feed.