Signed-off-by: bbr <bbr@informatik.uni-kiel.de>

user manual more complete

- problem with not imported constructors fixed by adding compiler flag to use fcy instead of fint
- improved error message for type map
- improved test for good global definitions
- module Meta compilable by prophecy by adding headNormalFormIO to apply functions
- fixed bug with ho-constructors in Transform.curry

- option  -q equals -v0 no welcome, no messages
- options are read from command line in kicsi (only one file)
- different levels of compiler messages

- makefile cleans now oracle path
- completed call for stricths from kicsi
- added orc directory to input of ghc
- removed to/from data from prelude
- include file for strict prelude added
  similar files needed for other libraries
- let expressions again correctly printed in pretty printer
- revived the underscore function in strict steps
  and added improvements by holger
- added type signature in Wrapper
- thousends of small changes in stricths to make prelude fit
  and include external definitions

- some changes in compiler to call prophecy
- new in makefile to produce bin/prophecy (but not part of make all yet)
- script kghci recovered
- Oracle added to internal Libraries of All_Libraries
- Added support for type flat curry synonyms in compiler
  therefore synonym string eliminated from external prelude
- added name for debug modules in Names.hs
- Distribution modules now (nearly) identical
- prophecy transformation with make and force option
- added wrapper for prim_bind