Def Iio

feat(topology): add Lebesgue measure

feat(topology/lebesgue_measure): add Lebesgue outer measure; show that the lower half open interval is measurable