added a couple of routines to access smodels.
extended fget_line to check for windows and recognize 0x13,0x10 as end-of-line.
added smodelsint to makefile to be compiled during installation.
Reduced optimization level for tr_utils to O1
* bugfix: use of tag to compile smodels
Simplified search_module and its uses.
Clean up and simplification changes in various builtins and in their use.
*** empty log message ***
Unused and obsolete PSC stuff taken out.
updated the manual
