Function handle_export_lib 

pub async fn handle_export_lib(
    req: HttpRequest,
    body: String,
    state: Data<AppState>,
) -> Result<HttpResponse, HaystackError>

POST /api/exportLib — export a library to Xeto source text.