Anki add-on: Auto Ease Factor edited by n115 for personal use

Automatically changes the ease factor based on the required probability of success specified by the user, and a linear model comprising 1. the probability of success; 2. the ease factor; 3. the ratio between the previous interval and the high score