Software for Verified Optimization of Mixed-Integer Linear Programs