EU OS: Community-led Proof-of-Concept for a free OS for the EU public sector