MiniPauker Code

Re-enabled autofocus on scrollable forms, removed the manual focus setting.

Applied the pageScrollAdjustmentPx from the preferences to the scroll forms, plus some minor refactoring.

The card side edit box size limit increased from 100 to 10,000 as requested by #3021843

improved card text parsing error reporting

- Improved scrolling, autofocus: overriden Container.scroll to scroll to item's top, not bottom. TBD: Reenable form autoscroll , remove explicit focuse setting.
- Export file name - fixed month number (+1 was necessary)
- Other small improvements (after repetition stats correction, ...)

fixed getNextNearestExpirationTime to really search all batches, not just the 1st nonempty one

- scroll down now stops when reaching the bottom
- scroll up/down added also to the Repeat*UI
- small fixes of new features

1. Added experimental Page Up/down scrolling for learning screen (keys 2, 8)
2. Commands for the Learning UI as buttons
3. Learn/repeat buttons now on 1 row

adding a forgotten class...

- When repeating:
-- show how many card there are yet to repeat
-- when done, show when another card is going to expire (expiration less than 1 hour ignored) (#2065063)
- Repetition: Added Edit and Delete buttons (#3012517)
- Learning: Added Delete and Stop commands (#1928138)
- Support opening Pauker files with the extension .xml.gz (#2859558)
- Export file now contains the current time stamp in the readable format yymmdd-hhmmss