Theorem IsOpen.measure_eq_biSup_integral_continuous

feat: for a regular measure, write the measure of an open set as a supremum of integrals of continuous functions (#32783) …