added/updated lua tasks to add running CBDD based C specifications