Migrate the classification step to AEON.py

[daemontus]

Going forward, the expected workflow is that the classification step (i.e. creating the result archive) is performed by a Python script/notebook through AEON.py. However, this functionality is not present in AEON.py yet (even though model checking is now available). Once AEON.py supports this, we can remove the HCTL classifier binary from this repository, replace it with an example python script, and turn this into a "general" network explorer.