Missing number of models (asp support)

[Bart Bogaerts]

Clasp nowadays seems to require that the last line of an smodels file contains the number of models needed.
BreakID does not print this info (does not even parse it!)
Should be parsed and stored and reprinted.

‌