Manual editing of Card SRS metadata

Make as much editable as possible, including ease, next repetition time, previous repetitions etc.

There are a multitude of uses, including easily transferring SRS history to a new card (either because the old one is bugged or after merging a few cards into a single one) or directly manipulating next repetition time to align with a particular date.