Coulomb and static friction with ModelingToolkit.jl and DifferentialEquations.jl

It looks like simplify failed, and @shashi would be the one to take a look at it. Thanks for the example: that should be very useful.