checking for spanning tree works, but adding lazy constraints leads to
infeasible solution. no workaround included
integration of is_spanning_tree() on graph to unit tests
renaming of sariel_lp to hp_lp
also renaming in unit tests and fixed minor bug for hp_solver
include of test class for line processing on connected components
insert of test case for self crossing edges resulting in a planar spanningtree