Function repay
This function decreases the debt of the user by the passed-in amount. The total debt numbers are then updated based on potentially stale price data. The updated values, however, are not used on chain before they are updated again.