start of parser for mu formulae
parser for fomula
model checking commands (parsing only)
fixes+top-level makefile by V.Botbol
better archive script
merge with master
modified script
Merge remote-tracking branch 'upstream/mu-calculus'

Conflicts:
	src/Presyntax.ml