IPASIR-UP: User Propagators for CDCL