Everykey belt casing

Belt casing for Everykey. Two models are provided, one is single piece, the other two piece. I started with the two piece design as I wasn't sure how the loops would turn out and how well they would flex. In fact, the loops of the two piece design can be printed using a hard filament, but the casing has to be flexible to allow the Everykey to be pushed in and out. The mushroom heads provide a good mechanical fastening between the two pieces.