PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification