A repository for SAT/ASP encodings for social choice problems and theorems