Modifying the k-framework sglr library to run as an external server