clasp 3.1 & aspcud 1.9

Update `aspcud` to 1.9 (which also requires `clasp` to be updated). This version does not need to be patched anymore.
Just put these inline before `std_cmake_args` on the next line.