cmake-server "configure" request should handle -Wno-dev
The "configure" request to a cmake-server instance should optionally take an "options" string, or something similarly named, that allows the command-line options "-Wdev", "-Wno-dev-", "Werror=dev", and so forth. This way, users may suppress dev warnings and whatnot if they so desire.