v0.1.3 — InHire, portal archiving and Gmail archive, for real this time

Patch release that actually ships what v0.1.2 claimed to. Three feature commits from that release were merged hollow — a git add -u <one file> scoping mistake staged only a config-example doc edit each time, never the real code — so the packages published from v0.1.2 didn't contain them, despite the commit messages and release notes saying otherwise. See the erratum on the v0.1.2 release for the full story.

Same features, same tests, unchanged from what was originally designed and reviewed — now actually in the packages, verified by installing from PyPI in a clean virtualenv and importing the classes directly:

• InHire scanner — Brazilian ATS coverage via the public embed-widget API (api.inhire.app, X-Tenant header), staleness re-listing included.
• Opt-in post-sync Gmail cleanup — archive_ref_matched / archive_all_classified (both default off; unrelated mail is never touched).
• Portal-feed age-archiving — jobs from portal sources (RemoteOK, HN Who-Is-Hiring, ...) archive once they age past portal_max_age_days (default 30; 0 disables) — the only closing signal a portal feed can offer.

No other changes.