The Oak Ridge Isochronous Cyclotron as an Energy Booster for a 25 MV Tandem