Drop 3.7 support

[inpefess]

No description provided.

[codecov]

Codecov Report

Patch and project coverage have no change.

Comparison is base (219fe77) 100.00% compared to head (17f4104) 100.00%.

❗ Current head 17f4104 differs from pull request most recent head 9d77980. Consider uploading reports for the commit 9d77980 to get more accurate results

Additional details and impacted files

@@            Coverage Diff            @@
##            master       #64   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            5         5           
  Lines          176       176           
=========================================
  Hits           176       176           

Impacted Files	Coverage Δ
isabelle_client/isabelle__client.py	100.00% <ø> (ø)
isabelle_client/socket_communication.py	100.00% <ø> (ø)

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.