A Modelica library for idealized simulation of contact phenomena - View it on GitHub