Optionally append Migrated-From: suffix to tickets

This option helps preserve the provenance of tickets in cases where
the old Trac instance remains available (probably read-only) after
the migration to GitHub Issues is complete.