Remove knotc restart and references to it, since knotc cannot start the server anymore.

Merge request reports

Loading