FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings