added smodelsint to makefile to be compiled during installation.
Authored by: warren 1999-08-31
Parent: [r1215]
Child: [r1217]
