Correct time axis

[pag1pag]

Add:

• pylint -> prettier code (code rate 6.5/10)
• mypy -> code easier to read (but not yet very useful)

Fix:

• change in qtplaskin.timeformatter.py -> use a simpler function, in agreement with set_major_formatter. - Could be even more simplified, by not using a class TimeFormatter at all (but could also be less readable)