missing toi63 in Script implementation
proper parsing of * in Smtlib_parser
fixing fixed Smtlib_parser
simple implementation of enfops in cc_handler
Smtlib_solver accepts "unknown" status
Merge remote-tracking branch 'upstream/master'

Conflicts:
	frontend/script.ml
	frontend/smtlib_parser.ml
	frontend/smtlib_solver.ml