ETJump 3.0.1

- fixed missing parenthesis around diff prints on seasonal record banner prints
- '!delete-season' command is no longer case sensitive
- fixed '--page-size' argument on 'records' not working in some scenarios
- fixed popups not printing for all other players when a player makes a new PB time
- 'listinfo' no longer prints any text regarding missing maps if no maps from the list are missing
- 'records' no longer prints records from other maps when the current map partially matches other map names on the server
- runtimer and checkpoint timer now use real 8ms interval timer for players
  - spectators/demo playback still display "fake" timer via cgame timer instead of command time
- fixed relative checkpoint timer ('etj_checkpointsStyle 0') being 1ms off when player had no record on a run
- various fixes to run/checkpoint timer
  - checkpoint timer no longer breaks when a player hits the max checkpoint limit (16)
  - fixed checkpoint times not fading together with runtimer
  - fixed checkpoint timer position when using non-default size
  - adjusted the transition range in runtimer when closing in on PB - the transition duration is no longer hardcoded to several steps, instead transition starts at the last 10% of the run (capped to max 10s)
- added 'rankings <season>' command shorthand
- added 'etj_CGaz2NoVelocityDir' cvar to hide velocity direction line on CGaz 2
- fixed various issues with record checking
  - fixed banner prints displaying wrong diff - was displaying diff to your old time, now uses diff from new record to previous #1 record
    - popup message will still display diff to your previous record instead of previous #1 record
  - fixed banner prints not displaying if a player has no previous record set on a run, but breaks either the overall or seasonal record on their first run
  - fixed autodemo not saving demos with 'etj_ad_savePBOnly 1' if a player made a new PB, but it wasn't a new overall record
- 'loadcheckpoints' now supports partial name matching, and loaded checkpoints can be cleared by specifying '-1' as rank
- users with 0 points are no longer included in 'rankings'
- fixed being unable to edit only season start or end date, not both, on a single command
- all maps on a server are now logged to 'maps.json' on game init