Parser: The power of || and && operators

[ivan.zapreev]

General parser problem with the power of and && operators.

In MRMC up to version 1.2.2 the power of && and were equal, i.e.
due to the poor parsing prammar the model checking results,
e.g. for the formulas:

	a && b || c
	c || b && a

could be different!

Is illustrated by the

test/functional_tests/dtmc/pctl/operators/basic/pctl_basic_01/

regression test.