Add other-modules for `css` executable
Add other-modules for `css` executable

Silences `stack` warning

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script