deg1 elements: approximate the cone by shorter vectors
Merge branch 'master' into bruns_approx

Conflicts:
	libnormaliz/full_cone.cpp
deg1 approx: fix for non-pointed cones
minor improvement in matrix
version semirec

using FM for large negative hyperplanes instead of recursive pyramids
pyramid verbose output improvement

After "all pyramids on level X done" the list of remaining pyramids is only
printed if the next level is empty, otherwise it is printed in the next level.
partial triang and recursive simplices improvement

recursive simplices were always added to the partial triangulation
subfacete test
collect large recursive pyramids and evaluate local
large rec pyr handling improved
parallelisation of process_pyramids
code cleanup

including corrections for levels
fix for subfacet test

the hyperplanes of the start simplex must have gen 0 as generator
Allow recursive pyramids and HypCounter change
new criterion for large recursive pyramids

Using total number of comparisions so far.
Also: Bounds adapted; atomics and .size() reduced
allow input type "excluded_faces"

just the input, only works together with constraint input
no suffisticated checks
no use of the data!
make excluded_faces working in full_cone

used in the Hilbert series computation
does not affect Hilbert basis computation
TODO: Stanley dec.
bugfix in extreme ray check

In compute_extreme_rays_compare() Extreme_Rays[i] was set to true before the
check if the generator is in the triangulation.

Bug was introduced in 0d6d3e1b13ca8035521e9a1192c5e5539c84b038
excluded_faces update

25.09.2013
handle also Stanley decomposition
excluded faces for nmzIntegrate faces classes

collect the faces in denominator classes