This module allows running scasp as a stand-alone program that loads one or more scasp source files, answer the (last) query and exit.