smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation