tests: run all tests, but exclude tests specific to my computer from CI

controllable via HPI_TESTS_KARLICOSS=true

tests/hypothesis.py

@@ -1,7 +1,6 @@
-#!/usr/bin/env python3
+from .common import skip_if_not_karlicoss as pytestmark
 
-from my.hypothesis import pages, highlights
-
-def test():
+def test() -> None:
+    from my.hypothesis import pages, highlights
     assert len(list(pages())) > 10
     assert len(list(highlights())) > 10