Added the ability to specify multiple sorts separated by commas.
Removed the assumption that all BC+ actions are exogenous.
Fixed an issue with cplus2asp where it would not properly return the command line when running in static-auto mode
and told to stop after the translator, preprocessor, or grounder.