Naming of strict_inequalities
Fix in volume compu. and approximation flag

Restored an accidentally removed return in SimplexEvaluator which lead to
false computations in mode -v.
Added option -r for approximating a rational polytope.