Enriched traced categories are lax functors out of compact categories