MiniPauker Code

-- 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